io.keyko.ocean.keeper:contracts 0.13.2.3

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.3
Type	jar

Download contracts 0.13.2.3

Filename	Size
contracts-0.13.2.3.pom
contracts-0.13.2.3.jar	159 KB
contracts-0.13.2.3-sources.jar	159 KB

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.3</version>
</dependency>

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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