License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdorg.tomitribe |
ArtifactId | ArtifactIdchurchkey |
Version | Version0.9 |
Type | Typejar |
Description |
DescriptionTomitribe :: Churchkey
Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/
|
Project Organization |
Project Organization |
Filename | Size |
---|---|
churchkey-0.9.pom | |
churchkey-0.9.jar | 40 KB |
churchkey-0.9-sources.jar | 28 KB |
churchkey-0.9-javadoc.jar | 172 KB |
Browse |
<!-- https://jarcasting.com/artifacts/org.tomitribe/churchkey/ -->
<dependency>
<groupId>org.tomitribe</groupId>
<artifactId>churchkey</artifactId>
<version>0.9</version>
</dependency>
// https://jarcasting.com/artifacts/org.tomitribe/churchkey/
implementation 'org.tomitribe:churchkey:0.9'
// https://jarcasting.com/artifacts/org.tomitribe/churchkey/
implementation ("org.tomitribe:churchkey:0.9")
'org.tomitribe:churchkey:jar:0.9'
<dependency org="org.tomitribe" name="churchkey" rev="0.9">
<artifact name="churchkey" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.tomitribe', module='churchkey', version='0.9')
)
libraryDependencies += "org.tomitribe" % "churchkey" % "0.9"
[org.tomitribe/churchkey "0.9"]
Group / Artifact | Type | Version |
---|---|---|
org.apache.johnzon : johnzon-core | jar | 1.1.10 |
org.apache.geronimo.specs : geronimo-json_1.1_spec | jar | 1.1 |
org.tomitribe : tomitribe-util | jar | 1.2.3 |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.11 |
com.nimbusds : nimbus-jose-jwt | jar | 5.1 |