Categories |
CategoriesKeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdio.keyko.ocean.keeper |
ArtifactId | ArtifactIdcontracts |
Version | Version0.13.2 |
Type | Typejar |
Filename | Size |
---|---|
contracts-0.13.2.pom | |
contracts-0.13.2.jar | 160 KB |
contracts-0.13.2-sources.jar | 161 KB |
Browse |
<!-- https://jarcasting.com/artifacts/io.keyko.ocean.keeper/contracts/ -->
<dependency>
<groupId>io.keyko.ocean.keeper</groupId>
<artifactId>contracts</artifactId>
<version>0.13.2</version>
</dependency>
// https://jarcasting.com/artifacts/io.keyko.ocean.keeper/contracts/
implementation 'io.keyko.ocean.keeper:contracts:0.13.2'
// https://jarcasting.com/artifacts/io.keyko.ocean.keeper/contracts/
implementation ("io.keyko.ocean.keeper:contracts:0.13.2")
'io.keyko.ocean.keeper:contracts:jar:0.13.2'
<dependency org="io.keyko.ocean.keeper" name="contracts" rev="0.13.2">
<artifact name="contracts" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.keyko.ocean.keeper', module='contracts', version='0.13.2')
)
libraryDependencies += "io.keyko.ocean.keeper" % "contracts" % "0.13.2"
[io.keyko.ocean.keeper/contracts "0.13.2"]