License |
License |
---|---|
Categories |
CategoriesAnt Build Tools KeY Data Data Formats Formal Verification |
GroupId | GroupIdcom.elegantmonkeys |
ArtifactId | ArtifactIdmonaka_2.12 |
Version | Version1.0.0-RC2 |
Type | Typejar |
Description |
Descriptionmonaka
monaka
|
Project Organization |
Project Organizationcom.elegantmonkeys |
Filename | Size |
---|---|
monaka_2.12-1.0.0-RC2.pom | |
monaka_2.12-1.0.0-RC2.jar | 118 KB |
monaka_2.12-1.0.0-RC2-sources.jar | 7 KB |
monaka_2.12-1.0.0-RC2-javadoc.jar | 760 KB |
Browse |
<!-- https://jarcasting.com/artifacts/com.elegantmonkeys/monaka_2.12/ -->
<dependency>
<groupId>com.elegantmonkeys</groupId>
<artifactId>monaka_2.12</artifactId>
<version>1.0.0-RC2</version>
</dependency>
// https://jarcasting.com/artifacts/com.elegantmonkeys/monaka_2.12/
implementation 'com.elegantmonkeys:monaka_2.12:1.0.0-RC2'
// https://jarcasting.com/artifacts/com.elegantmonkeys/monaka_2.12/
implementation ("com.elegantmonkeys:monaka_2.12:1.0.0-RC2")
'com.elegantmonkeys:monaka_2.12:jar:1.0.0-RC2'
<dependency org="com.elegantmonkeys" name="monaka_2.12" rev="1.0.0-RC2">
<artifact name="monaka_2.12" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.elegantmonkeys', module='monaka_2.12', version='1.0.0-RC2')
)
libraryDependencies += "com.elegantmonkeys" % "monaka_2.12" % "1.0.0-RC2"
[com.elegantmonkeys/monaka_2.12 "1.0.0-RC2"]
Group / Artifact | Type | Version |
---|---|---|
org.scala-lang : scala-library | jar | 2.12.4 |
com.typesafe.akka : akka-actor_2.12 | jar | 2.5.9 |
com.typesafe.akka : akka-slf4j_2.12 | jar | 2.5.9 |
com.typesafe.play : play-json_2.12 | jar | 2.6.7 |
org.igniterealtime.smack : smack-java7 | jar | 4.2.2 |
org.igniterealtime.smack : smack-tcp | jar | 4.2.2 |
org.igniterealtime.smack : smack-extensions | jar | 4.2.2 |
ch.qos.logback : logback-classic | jar | 1.2.3 |
Group / Artifact | Type | Version |
---|---|---|
com.typesafe.akka : akka-testkit_2.12 | jar | 2.5.9 |
org.scalatest : scalatest_2.12 | jar | 3.0.4 |
org.scalamock : scalamock_2.12 | jar | 4.0.0 |