License |
License |
---|---|
Categories |
CategoriesKeY Data Data Formats Formal Verification |
GroupId | GroupIdorg.ensime |
ArtifactId | ArtifactIdmonkeys_2.10 |
Version | Version2.0.1 |
Type | Typejar |
Description |
Descriptionmonkeys
monkeys
|
Project URL |
Project URL |
Project Organization |
Project Organization |
Filename | Size |
---|---|
monkeys_2.10-2.0.1.pom | |
monkeys_2.10-2.0.1.jar | 47 KB |
monkeys_2.10-2.0.1-sources.jar | 18 KB |
monkeys_2.10-2.0.1-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.1</version>
</dependency>
// https://jarcasting.com/artifacts/org.ensime/monkeys_2.10/
implementation 'org.ensime:monkeys_2.10:2.0.1'
// https://jarcasting.com/artifacts/org.ensime/monkeys_2.10/
implementation ("org.ensime:monkeys_2.10:2.0.1")
'org.ensime:monkeys_2.10:jar:2.0.1'
<dependency org="org.ensime" name="monkeys_2.10" rev="2.0.1">
<artifact name="monkeys_2.10" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.ensime', module='monkeys_2.10', version='2.0.1')
)
libraryDependencies += "org.ensime" % "monkeys_2.10" % "2.0.1"
[org.ensime/monkeys_2.10 "2.0.1"]
Group / Artifact | Type | Version |
---|---|---|
org.scala-lang : scala-compiler | jar | 2.10.6 |
org.scala-lang : scala-library | jar | 2.10.6 |
org.apache.commons : commons-vfs2 | jar | 2.1 |
Group / Artifact | Type | Version |
---|---|---|
org.codehaus.janino : janino | jar | 2.7.8 |
org.scalatest : scalatest_2.10 | jar | 3.0.3 |
ch.qos.logback : logback-classic | jar | 1.2.3 |
org.slf4j : slf4j-api | jar | 1.7.25 |
org.slf4j : jul-to-slf4j | jar | 1.7.25 |
org.slf4j : jcl-over-slf4j | jar | 1.7.25 |
org.slf4j : log4j-over-slf4j | jar | 1.7.25 |