| License |
License |
|---|---|
| Categories |
CategoriesKeY Data Data Formats Formal Verification |
| GroupId | GroupIdorg.tomitribe |
| ArtifactId | ArtifactIdchurchkey |
| Last Version | Last Version0.15 |
| Release Date | Release Date |
| 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.15.pom | |
| churchkey-0.15.jar | 38 KB |
| churchkey-0.15-sources.jar | 27 KB |
| churchkey-0.15-javadoc.jar | 172 KB |
| Browse |
<!-- https://jarcasting.com/artifacts/org.tomitribe/churchkey/ -->
<dependency>
<groupId>org.tomitribe</groupId>
<artifactId>churchkey</artifactId>
<version>0.15</version>
</dependency>
// https://jarcasting.com/artifacts/org.tomitribe/churchkey/
implementation 'org.tomitribe:churchkey:0.15'
// https://jarcasting.com/artifacts/org.tomitribe/churchkey/
implementation ("org.tomitribe:churchkey:0.15")
'org.tomitribe:churchkey:jar:0.15'
<dependency org="org.tomitribe" name="churchkey" rev="0.15">
<artifact name="churchkey" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.tomitribe', module='churchkey', version='0.15')
)
libraryDependencies += "org.tomitribe" % "churchkey" % "0.15"
[org.tomitribe/churchkey "0.15"]
| Group / Artifact | Type | Version |
|---|---|---|
| org.apache.johnzon : johnzon-core | jar | 1.2.14 |
| org.apache.geronimo.specs : geronimo-json_1.1_spec | jar | 1.5 |
| org.tomitribe : tomitribe-util | jar | 1.2.3 |
| Group / Artifact | Type | Version |
|---|---|---|
| org.projectlombok : lombok | jar | 1.18.16 |
| Group / Artifact | Type | Version |
|---|---|---|
| junit : junit | jar | 4.13.2 |
| org.apache.johnzon : johnzon-jsonb | jar | 1.2.14 |
| org.apache.geronimo.specs : geronimo-jsonb_1.0_spec | jar | 1.4 |
| org.tomitribe : swizzle | jar | 1.1 |
| com.nimbusds : nimbus-jose-jwt | jar | 7.9 |