org.tomitribe:churchkey 0.11

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

Download churchkey 0.11

Filename	Size
churchkey-0.11.pom
churchkey-0.11.jar	129 KB
churchkey-0.11-sources.jar	73 KB
churchkey-0.11-javadoc.jar	331 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.tomitribe:churchkey:jar:0.11'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.tomitribe/churchkey "0.11"]