License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdio.keyko.ocean.keeper |
ArtifactId | ArtifactIdcontracts |
Last Version | Last Version0.13.2.5 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionKeeper Contracts
Integration of TCRs, CPM and Ocean Tokens in Solidity
|
Filename | Size |
---|---|
contracts-0.13.2.5.pom | |
contracts-0.13.2.5.jar | 2 MB |
contracts-0.13.2.5-sources.jar | 1 MB |
contracts-0.13.2.5-javadoc.jar | 2 MB |
Browse |
<!-- https://jarcasting.com/artifacts/io.keyko.ocean.keeper/contracts/ -->
<dependency>
<groupId>io.keyko.ocean.keeper</groupId>
<artifactId>contracts</artifactId>
<version>0.13.2.5</version>
</dependency>
// https://jarcasting.com/artifacts/io.keyko.ocean.keeper/contracts/
implementation 'io.keyko.ocean.keeper:contracts:0.13.2.5'
// https://jarcasting.com/artifacts/io.keyko.ocean.keeper/contracts/
implementation ("io.keyko.ocean.keeper:contracts:0.13.2.5")
'io.keyko.ocean.keeper:contracts:jar:0.13.2.5'
<dependency org="io.keyko.ocean.keeper" name="contracts" rev="0.13.2.5">
<artifact name="contracts" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.keyko.ocean.keeper', module='contracts', version='0.13.2.5')
)
libraryDependencies += "io.keyko.ocean.keeper" % "contracts" % "0.13.2.5"
[io.keyko.ocean.keeper/contracts "0.13.2.5"]
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 |