com.github.cafaudit:caf-audit-monkey 3.4.0-380

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

Download caf-audit-monkey 3.4.0-380

Filename	Size
caf-audit-monkey-3.4.0-380.pom
caf-audit-monkey-3.4.0-380.jar	18 KB
caf-audit-monkey-3.4.0-380-sources.jar	13 KB
caf-audit-monkey-3.4.0-380-javadoc.jar	59 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.4.0-380</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.github.cafaudit/caf-audit-monkey/
implementation 'com.github.cafaudit:caf-audit-monkey:3.4.0-380'

Gradle Kotlin

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

Apache Buildr

'com.github.cafaudit:caf-audit-monkey:jar:3.4.0-380'

Apache Ivy

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

Groovy Grape

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

Scala SBT

libraryDependencies += "com.github.cafaudit" % "caf-audit-monkey" % "3.4.0-380"

Leiningen

[com.github.cafaudit/caf-audit-monkey "3.4.0-380"]