com.github.cafaudit:caf-audit-monkey 3.3.0-280

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

Download caf-audit-monkey 3.3.0-280

Filename	Size
caf-audit-monkey-3.3.0-280.pom
caf-audit-monkey-3.3.0-280.jar	18 KB
caf-audit-monkey-3.3.0-280-sources.jar	14 KB
caf-audit-monkey-3.3.0-280-javadoc.jar	60 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.3.0-280</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.github.cafaudit/caf-audit-monkey/
implementation 'com.github.cafaudit:caf-audit-monkey:3.3.0-280'

Gradle Kotlin

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

Apache Buildr

'com.github.cafaudit:caf-audit-monkey:jar:3.3.0-280'

Apache Ivy

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

Groovy Grape

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

Scala SBT

libraryDependencies += "com.github.cafaudit" % "caf-audit-monkey" % "3.3.0-280"

Leiningen

[com.github.cafaudit/caf-audit-monkey "3.3.0-280"]