Categories |
CategoriesKeY Data Data Formats Formal Verification |
---|---|
GroupId | GroupIdorg.ensime |
ArtifactId | ArtifactIdmonkeys_2.12 |
Version | Version2.0.0-M2 |
Type | Typejar |
Filename | Size |
---|---|
monkeys_2.12-2.0.0-M2.pom | |
monkeys_2.12-2.0.0-M2.jar | 26 KB |
monkeys_2.12-2.0.0-M2-sources.jar | 15 KB |
monkeys_2.12-2.0.0-M2-javadoc.jar | 47 KB |
Browse |
<!-- https://jarcasting.com/artifacts/org.ensime/monkeys_2.12/ -->
<dependency>
<groupId>org.ensime</groupId>
<artifactId>monkeys_2.12</artifactId>
<version>2.0.0-M2</version>
</dependency>
// https://jarcasting.com/artifacts/org.ensime/monkeys_2.12/
implementation 'org.ensime:monkeys_2.12:2.0.0-M2'
// https://jarcasting.com/artifacts/org.ensime/monkeys_2.12/
implementation ("org.ensime:monkeys_2.12:2.0.0-M2")
'org.ensime:monkeys_2.12:jar:2.0.0-M2'
<dependency org="org.ensime" name="monkeys_2.12" rev="2.0.0-M2">
<artifact name="monkeys_2.12" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.ensime', module='monkeys_2.12', version='2.0.0-M2')
)
libraryDependencies += "org.ensime" % "monkeys_2.12" % "2.0.0-M2"
[org.ensime/monkeys_2.12 "2.0.0-M2"]