Churchkey

Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/

License	The Apache Software License, Version 2.0
Categories	KeY Data Data Formats Formal Verification
GroupId	io.churchkey
ArtifactId	churchkey
Last Version	1.18
Release Date	Jun 1, 2022
Type	jar
Description	Churchkey Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/
Project Organization	Tomitribe Corporation

Download churchkey

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

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/io.churchkey/churchkey/ -->
<dependency>
    <groupId>io.churchkey</groupId>
    <artifactId>churchkey</artifactId>
    <version>1.18</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.churchkey/churchkey/
implementation 'io.churchkey:churchkey:1.18'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.churchkey/churchkey/
implementation ("io.churchkey:churchkey:1.18")

Apache Buildr

'io.churchkey:churchkey:jar:1.18'

Apache Ivy

<dependency org="io.churchkey" name="churchkey" rev="1.18">
  <artifact name="churchkey" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.churchkey', module='churchkey', version='1.18')
)

Scala SBT

libraryDependencies += "io.churchkey" % "churchkey" % "1.18"

Leiningen

[io.churchkey/churchkey "1.18"]

Dependencies

provided (1)

Group / Artifact	Type	Version
org.projectlombok : lombok	jar	1.18.16

test (7)

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

Project Modules

There are no modules declared in this project.

Versions

Version
1.18 Jun 1, 2022
1.17 May 11, 2022