<dependency> <groupId>org.sireum</groupId> <artifactId>runtime_2.12</artifactId> <version>3.1</version> </dependency>
implementation 'org.sireum:runtime_2.12:3.1'
implementation("org.sireum:runtime_2.12:3.1")
libraryDependencies += "org.sireum" % "runtime_2.12" % "3.1"
@Grapes( @Grab(group='org.sireum', module='runtime_2.12', version='3.1') )
<dependency org="org.sireum" name="runtime_2.12" rev="3.1" />
[org.sireum/runtime_2.12 "3.1"]
'org.sireum:runtime_2.12:jar:3.1'
compile
|-- org.scala-lang:scala-library:2.12.3
|-- org.scalameta:scalameta_2.12:1.8.0
|-- org.scala-lang:scala-reflect:2.12.3
|-- org.spire-math:spire_2.12:0.13.0