License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdio.keyko.nevermind |
ArtifactId | ArtifactIdcontracts |
Version | Version0.1.3 |
Type | Typejar |
Description |
DescriptionNevermind Contracts
Nevermind Data Plarform Smart Contracts in Solidity
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
contracts-0.1.3.pom | |
contracts-0.1.3.jar | 1 MB |
contracts-0.1.3-sources.jar | 290 KB |
contracts-0.1.3-javadoc.jar | 1 MB |
Browse |
<!-- https://jarcasting.com/artifacts/io.keyko.nevermind/contracts/ -->
<dependency>
<groupId>io.keyko.nevermind</groupId>
<artifactId>contracts</artifactId>
<version>0.1.3</version>
</dependency>
// https://jarcasting.com/artifacts/io.keyko.nevermind/contracts/
implementation 'io.keyko.nevermind:contracts:0.1.3'
// https://jarcasting.com/artifacts/io.keyko.nevermind/contracts/
implementation ("io.keyko.nevermind:contracts:0.1.3")
'io.keyko.nevermind:contracts:jar:0.1.3'
<dependency org="io.keyko.nevermind" name="contracts" rev="0.1.3">
<artifact name="contracts" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.keyko.nevermind', module='contracts', version='0.1.3')
)
libraryDependencies += "io.keyko.nevermind" % "contracts" % "0.1.3"
[io.keyko.nevermind/contracts "0.1.3"]
Group / Artifact | Type | Version |
---|---|---|
org.web3j : core | jar | 4.5.17 |
org.web3j : parity | jar | 4.5.17 |
org.web3j : utils | jar | 4.5.17 |