License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdio.churchkey |
ArtifactId | ArtifactIdchurchkey |
Last Version | Last Version1.18 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionChurchkey
Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/
|
Project Organization |
Project Organization |
Filename | Size |
---|---|
churchkey-1.18.pom | |
churchkey-1.18.jar | 149 KB |
churchkey-1.18-sources.jar | 90 KB |
churchkey-1.18-javadoc.jar | 350 KB |
Browse |
<!-- https://jarcasting.com/artifacts/io.churchkey/churchkey/ -->
<dependency>
<groupId>io.churchkey</groupId>
<artifactId>churchkey</artifactId>
<version>1.18</version>
</dependency>
// https://jarcasting.com/artifacts/io.churchkey/churchkey/
implementation 'io.churchkey:churchkey:1.18'
// https://jarcasting.com/artifacts/io.churchkey/churchkey/
implementation ("io.churchkey:churchkey:1.18")
'io.churchkey:churchkey:jar:1.18'
<dependency org="io.churchkey" name="churchkey" rev="1.18">
<artifact name="churchkey" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.churchkey', module='churchkey', version='1.18')
)
libraryDependencies += "io.churchkey" % "churchkey" % "1.18"
[io.churchkey/churchkey "1.18"]
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-core | jar | 1.2.14 |
org.apache.geronimo.specs : geronimo-json_1.1_spec | jar | 1.5 |
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 |