io.keyko.nevermind:contracts 0.1.2

Nevermind Data Plarform Smart Contracts in Solidity

Categories	KeY Data Data Formats Formal Verification
GroupId	io.keyko.nevermind
ArtifactId	contracts
Version	0.1.2
Type	jar

Download contracts 0.1.2

Filename	Size
contracts-0.1.2.pom
contracts-0.1.2.jar	1 MB
contracts-0.1.2-sources.jar	290 KB
contracts-0.1.2-javadoc.jar	1 MB

Apache Maven

<!-- https://jarcasting.com/artifacts/io.keyko.nevermind/contracts/ -->
<dependency>
    <groupId>io.keyko.nevermind</groupId>
    <artifactId>contracts</artifactId>
    <version>0.1.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.keyko.nevermind/contracts/
implementation 'io.keyko.nevermind:contracts:0.1.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.keyko.nevermind/contracts/
implementation ("io.keyko.nevermind:contracts:0.1.2")

Apache Buildr

'io.keyko.nevermind:contracts:jar:0.1.2'

Apache Ivy

<dependency org="io.keyko.nevermind" name="contracts" rev="0.1.2">
  <artifact name="contracts" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.keyko.nevermind', module='contracts', version='0.1.2')
)

Scala SBT

libraryDependencies += "io.keyko.nevermind" % "contracts" % "0.1.2"

Leiningen

[io.keyko.nevermind/contracts "0.1.2"]