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