monkeys

License	GPL 3.0
Categories	KeY Data Data Formats Formal Verification
GroupId	org.ensime
ArtifactId	monkeys_2.11
Last Version	2.0.2
Release Date	Aug 3, 2018
Type	jar
Description	monkeys monkeys
Project URL	http://github.com/ensime/ensime-server
Project Organization	org.ensime

Download monkeys_2.11

Filename	Size
monkeys_2.11-2.0.2.pom
monkeys_2.11-2.0.2.jar	35 KB
monkeys_2.11-2.0.2-sources.jar	13 KB
monkeys_2.11-2.0.2-javadoc.jar	474 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.ensime/monkeys_2.11/ -->
<dependency>
    <groupId>org.ensime</groupId>
    <artifactId>monkeys_2.11</artifactId>
    <version>2.0.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.ensime/monkeys_2.11/
implementation 'org.ensime:monkeys_2.11:2.0.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.ensime/monkeys_2.11/
implementation ("org.ensime:monkeys_2.11:2.0.2")

Apache Buildr

'org.ensime:monkeys_2.11:jar:2.0.2'

Apache Ivy

<dependency org="org.ensime" name="monkeys_2.11" rev="2.0.2">
  <artifact name="monkeys_2.11" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.ensime', module='monkeys_2.11', version='2.0.2')
)

Scala SBT

libraryDependencies += "org.ensime" % "monkeys_2.11" % "2.0.2"

Leiningen

[org.ensime/monkeys_2.11 "2.0.2"]

Dependencies

compile (3)

Group / Artifact	Type	Version
org.scala-lang : scala-compiler	jar	2.11.12
org.scala-lang : scala-library	jar	2.11.12
org.apache.commons : commons-vfs2	jar	2.1

test (7)

Group / Artifact	Type	Version
org.codehaus.janino : janino	jar	2.7.8
org.scalatest : scalatest_2.11	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

Project Modules

There are no modules declared in this project.

ENSIME

ENhanced Scala Interaction Mode for text Editors - retired use Metals

Versions

Version
2.0.2 Aug 3, 2018
2.0.1 Mar 27, 2018
2.0.0 Sep 24, 2017
2.0.0-M4 Aug 4, 2017
2.0.0-M3 Jun 30, 2017
2.0.0-M2 Jun 17, 2017
2.0.0-M1 Apr 19, 2017
1.0.1 Apr 6, 2017
1.0.0 Jun 25, 2016