org.tomitribe:churchkey 0.10

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

Download churchkey 0.10

Filename	Size
churchkey-0.10.pom
churchkey-0.10.jar	128 KB
churchkey-0.10-sources.jar	73 KB
churchkey-0.10-javadoc.jar	330 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.tomitribe:churchkey:jar:0.10'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.tomitribe/churchkey "0.10"]