4.0.0 de.uni_luebeck.isp tessla_2.11 jar tessla 0.2.0-SNAPSHOT tessla de.uni_luebeck.isp org.scala-lang scala-library 2.11.7 de.uni_luebeck.isp compacom_2.11 0.2.0-3-SNAPSHOT org.json4s json4s-native_2.11 3.3.0.RC6 de.uni_luebeck.isp rltlconv_2.11 0.2.0-3-SNAPSHOT com.github.scopt scopt_2.11 3.3.0 junit junit 4.11 test org.scalatest scalatest_2.11 2.2.4 test Releases Releases https://sourcecode.isp.uni-luebeck.de/nexus/content/repositories/releases/ default Snapshots Snapshots https://sourcecode.isp.uni-luebeck.de/nexus/content/repositories/snapshots/ default ISPPublic ISP Public https://sourcecode.isp.uni-luebeck.de/nexus/content/groups/public/ default sonatypepublic sonatype-public https://oss.sonatype.org/content/repositories/public/ default