4.0.0 de.uni_luebeck.isp interpreter_2.13 jar interpreter 1.2.4 interpreter de.uni_luebeck.isp org.scala-lang scala-library 2.13.6 de.uni_luebeck.isp core_2.13 1.2.4 org.antlr antlr4-runtime 4.7.2 org.scalatest scalatest_2.13 3.1.0 test io.spray spray-json_2.13 1.3.5 org.eclipse.tracecompass ctfreader 0.2.1-SNAPSHOT org.typelevel cats-core_2.13 2.0.0 ISP Releases ISP Releases https://sourcecode.isp.uni-luebeck.de/nexus/content/repositories/releases/ default ISP Snapshots ISP Snapshots https://sourcecode.isp.uni-luebeck.de/nexus/content/repositories/snapshots/ default Typesafe repository Typesafe repository https://repo.typesafe.com/typesafe/releases/ default emueller-bintray emueller-bintray https://dl.bintray.com/emueller/maven/ default efficios-snapshots efficios-snapshots https://mvn.efficios.com/repository/snapshots/ default efficios-releases efficios-releases https://mvn.efficios.com/repository/releases/ default