l

library_2.12

library
https://github.com/sireum/v3-runtime/
Simplified BSD License
org.sireum
Robby
library
文件下载
文件名 操作
library_2.12-3.3.0.jar 下载
library_2.12-3.3.0.pom 下载
library_2.12-3.3.0-sources.jar 下载
Apache Maven 
<dependency>
  <groupId>org.sireum</groupId>
  <artifactId>library_2.12</artifactId>
  <version>3.3.0</version>
</dependency>
Gradle Groovy 
implementation 'org.sireum:library_2.12:3.3.0'
Gradle Kotlin 
implementation("org.sireum:library_2.12:3.3.0")
Scala SBT 
libraryDependencies += "org.sireum" % "library_2.12" % "3.3.0"
Groovy Grape 
@Grapes(
  @Grab(group='org.sireum', module='library_2.12', version='3.3.0')
)
Apache Ivy 
<dependency org="org.sireum" name="library_2.12" rev="3.3.0" />
Leiningen 
[org.sireum/library_2.12 "3.3.0"]
Apache Buildr 
'org.sireum:library_2.12:jar:3.3.0'
本项目依赖

compile

|-- org.scala-lang:scala-library:2.12.4

|-- org.sireum:macros_2.12:3.3.0

|-- org.scala-lang.platform:scalajson_2.12:1.0.0-M4

test

|-- org.scalatest:scalatest_2.12:3.0.4

|-- org.spire-math:spire_2.12:0.13.0