io.keyko.ocean.keeper:contracts 0.13.2.4

Integration of TCRs, CPM and Ocean Tokens in Solidity

Categories	KeY Data Data Formats Formal Verification
GroupId	io.keyko.ocean.keeper
ArtifactId	contracts
Version	0.13.2.4
Type	jar

Download contracts 0.13.2.4

Filename	Size
contracts-0.13.2.4.pom
contracts-0.13.2.4.jar	1 MB
contracts-0.13.2.4-sources.jar	414 KB
contracts-0.13.2.4-javadoc.jar	1 MB

Apache Maven

<!-- https://jarcasting.com/artifacts/io.keyko.ocean.keeper/contracts/ -->
<dependency>
    <groupId>io.keyko.ocean.keeper</groupId>
    <artifactId>contracts</artifactId>
    <version>0.13.2.4</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.keyko.ocean.keeper/contracts/
implementation 'io.keyko.ocean.keeper:contracts:0.13.2.4'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.keyko.ocean.keeper/contracts/
implementation ("io.keyko.ocean.keeper:contracts:0.13.2.4")

Apache Buildr

'io.keyko.ocean.keeper:contracts:jar:0.13.2.4'

Apache Ivy

<dependency org="io.keyko.ocean.keeper" name="contracts" rev="0.13.2.4">
  <artifact name="contracts" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.keyko.ocean.keeper', module='contracts', version='0.13.2.4')
)

Scala SBT

libraryDependencies += "io.keyko.ocean.keeper" % "contracts" % "0.13.2.4"

Leiningen

[io.keyko.ocean.keeper/contracts "0.13.2.4"]