org.tomitribe:churchkey 0.8

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

Download churchkey 0.8

Filename	Size
churchkey-0.8.pom
churchkey-0.8.jar	40 KB
churchkey-0.8-sources.jar	28 KB
churchkey-0.8-javadoc.jar	172 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.tomitribe:churchkey:jar:0.8'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.tomitribe/churchkey "0.8"]