Categories |
CategoriesKeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdorg.tomitribe |
ArtifactId | ArtifactIdchurchkey |
Version | Version0.7 |
Type | Typejar |
Filename | Size |
---|---|
churchkey-0.7.pom | |
churchkey-0.7.jar | 38 KB |
churchkey-0.7-sources.jar | 27 KB |
churchkey-0.7-javadoc.jar | 172 KB |
Browse |
<!-- https://jarcasting.com/artifacts/org.tomitribe/churchkey/ -->
<dependency>
<groupId>org.tomitribe</groupId>
<artifactId>churchkey</artifactId>
<version>0.7</version>
</dependency>
// https://jarcasting.com/artifacts/org.tomitribe/churchkey/
implementation 'org.tomitribe:churchkey:0.7'
// https://jarcasting.com/artifacts/org.tomitribe/churchkey/
implementation ("org.tomitribe:churchkey:0.7")
'org.tomitribe:churchkey:jar:0.7'
<dependency org="org.tomitribe" name="churchkey" rev="0.7">
<artifact name="churchkey" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.tomitribe', module='churchkey', version='0.7')
)
libraryDependencies += "org.tomitribe" % "churchkey" % "0.7"
[org.tomitribe/churchkey "0.7"]