com.github.cafaudit:caf-audit-monkey 3.1.0-50

Categories	KeY Data Data Formats Formal Verification
GroupId	com.github.cafaudit
ArtifactId	caf-audit-monkey
Version	3.1.0-50
Type	jar

Download caf-audit-monkey 3.1.0-50

Filename	Size
caf-audit-monkey-3.1.0-50.pom
caf-audit-monkey-3.1.0-50.jar	17 KB
caf-audit-monkey-3.1.0-50-sources.jar	13 KB
caf-audit-monkey-3.1.0-50-javadoc.jar	55 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/com.github.cafaudit/caf-audit-monkey/ -->
<dependency>
    <groupId>com.github.cafaudit</groupId>
    <artifactId>caf-audit-monkey</artifactId>
    <version>3.1.0-50</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.github.cafaudit/caf-audit-monkey/
implementation 'com.github.cafaudit:caf-audit-monkey:3.1.0-50'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.github.cafaudit/caf-audit-monkey/
implementation ("com.github.cafaudit:caf-audit-monkey:3.1.0-50")

Apache Buildr

'com.github.cafaudit:caf-audit-monkey:jar:3.1.0-50'

Apache Ivy

<dependency org="com.github.cafaudit" name="caf-audit-monkey" rev="3.1.0-50">
  <artifact name="caf-audit-monkey" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.github.cafaudit', module='caf-audit-monkey', version='3.1.0-50')
)

Scala SBT

libraryDependencies += "com.github.cafaudit" % "caf-audit-monkey" % "3.1.0-50"

Leiningen

[com.github.cafaudit/caf-audit-monkey "3.1.0-50"]