org.tomitribe:churchkey 0.12

Categories	KeY Data Data Formats Formal Verification
GroupId	org.tomitribe
ArtifactId	churchkey
Version	0.12
Type	jar

Download churchkey 0.12

Filename	Size
churchkey-0.12.pom
churchkey-0.12.jar	137 KB
churchkey-0.12-sources.jar	77 KB
churchkey-0.12-javadoc.jar	335 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/org.tomitribe/churchkey/ -->
<dependency>
    <groupId>org.tomitribe</groupId>
    <artifactId>churchkey</artifactId>
    <version>0.12</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.tomitribe/churchkey/
implementation 'org.tomitribe:churchkey:0.12'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.tomitribe/churchkey/
implementation ("org.tomitribe:churchkey:0.12")

Apache Buildr

'org.tomitribe:churchkey:jar:0.12'

Apache Ivy

<dependency org="org.tomitribe" name="churchkey" rev="0.12">
  <artifact name="churchkey" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.tomitribe', module='churchkey', version='0.12')
)

Scala SBT

libraryDependencies += "org.tomitribe" % "churchkey" % "0.12"

Leiningen

[org.tomitribe/churchkey "0.12"]