Download org.sireum JAR files with all dependencies
scalac-plugin_2.12 from group org.sireum (version 4.0.0)
scalac-plugin
0 downloads
Artifact scalac-plugin_2.12
Group org.sireum
Version 4.0.0
Last update 29. January 2019
Organization org.sireum
URL https://github.com/sireum/v3-scalac-plugin/
License Simplified BSD License
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group org.sireum
Version 4.0.0
Last update 29. January 2019
Organization org.sireum
URL https://github.com/sireum/v3-scalac-plugin/
License Simplified BSD License
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
library_2.12 from group org.sireum (version 3.3.1)
library
0 downloads
Artifact library_2.12
Group org.sireum
Version 3.3.1
Last update 30. September 2018
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 2
Dependencies scala-library, macros_2.12,
There are maybe transitive dependencies!
Group org.sireum
Version 3.3.1
Last update 30. September 2018
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 2
Dependencies scala-library, macros_2.12,
There are maybe transitive dependencies!
library_sjs0.6_2.12 from group org.sireum (version 3.3.1)
library
5 downloads
Artifact library_sjs0.6_2.12
Group org.sireum
Version 3.3.1
Last update 30. September 2018
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 3
Dependencies scala-library, macros_sjs0.6_2.12, scalajs-library_2.12,
There are maybe transitive dependencies!
Group org.sireum
Version 3.3.1
Last update 30. September 2018
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 3
Dependencies scala-library, macros_sjs0.6_2.12, scalajs-library_2.12,
There are maybe transitive dependencies!
macros_sjs0.6_2.12 from group org.sireum (version 3.3.1)
macros
0 downloads
Artifact macros_sjs0.6_2.12
Group org.sireum
Version 3.3.1
Last update 30. September 2018
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 3
Dependencies scala-library, scalajs-library_2.12, scala-reflect,
There are maybe transitive dependencies!
Group org.sireum
Version 3.3.1
Last update 30. September 2018
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 3
Dependencies scala-library, scalajs-library_2.12, scala-reflect,
There are maybe transitive dependencies!
macros_2.12 from group org.sireum (version 3.3.1)
macros
Artifact macros_2.12
Group org.sireum
Version 3.3.1
Last update 30. September 2018
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 2
Dependencies scala-library, scala-reflect,
There are maybe transitive dependencies!
Group org.sireum
Version 3.3.1
Last update 30. September 2018
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 2
Dependencies scala-library, scala-reflect,
There are maybe transitive dependencies!
prelude_sjs0.6_2.12 from group org.sireum (version 3.1)
prelude
Artifact prelude_sjs0.6_2.12
Group org.sireum
Version 3.1
Last update 01. August 2017
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 5
Dependencies scala-library, runtime_sjs0.6_2.12, scalajs-library_2.12, scalameta_2.12, silencer-lib_2.12,
There are maybe transitive dependencies!
Group org.sireum
Version 3.1
Last update 01. August 2017
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 5
Dependencies scala-library, runtime_sjs0.6_2.12, scalajs-library_2.12, scalameta_2.12, silencer-lib_2.12,
There are maybe transitive dependencies!
prelude_2.12 from group org.sireum (version 3.1)
prelude
Artifact prelude_2.12
Group org.sireum
Version 3.1
Last update 01. August 2017
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 4
Dependencies scala-library, runtime_2.12, scalameta_2.12, silencer-lib_2.12,
There are maybe transitive dependencies!
Group org.sireum
Version 3.1
Last update 01. August 2017
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 4
Dependencies scala-library, runtime_2.12, scalameta_2.12, silencer-lib_2.12,
There are maybe transitive dependencies!
runtime_sjs0.6_2.12 from group org.sireum (version 3.1)
runtime
Artifact runtime_sjs0.6_2.12
Group org.sireum
Version 3.1
Last update 01. August 2017
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 5
Dependencies scala-library, scalajs-library_2.12, scalameta_2.12, scala-reflect, spire_sjs0.6_2.12,
There are maybe transitive dependencies!
Group org.sireum
Version 3.1
Last update 01. August 2017
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 5
Dependencies scala-library, scalajs-library_2.12, scalameta_2.12, scala-reflect, spire_sjs0.6_2.12,
There are maybe transitive dependencies!
runtime_2.12 from group org.sireum (version 3.1)
runtime
Artifact runtime_2.12
Group org.sireum
Version 3.1
Last update 01. August 2017
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 4
Dependencies scala-library, scalameta_2.12, scala-reflect, spire_2.12,
There are maybe transitive dependencies!
Group org.sireum
Version 3.1
Last update 01. August 2017
Organization org.sireum
URL https://github.com/sireum/v3-runtime/
License Simplified BSD License
Dependencies amount 4
Dependencies scala-library, scalameta_2.12, scala-reflect, spire_2.12,
There are maybe transitive dependencies!
logika-runtime_2.12 from group org.sireum (version 3.0.1)
logika-runtime
0 downloads
Artifact logika-runtime_2.12
Group org.sireum
Version 3.0.1
Last update 09. March 2017
Organization org.sireum
URL https://github.com/sireum/v3-logika-runtime/
License Simplified BSD License
Dependencies amount 4
Dependencies scala-library, apfloat, scala-reflect, spire_2.12,
There are maybe transitive dependencies!
Group org.sireum
Version 3.0.1
Last update 09. March 2017
Organization org.sireum
URL https://github.com/sireum/v3-logika-runtime/
License Simplified BSD License
Dependencies amount 4
Dependencies scala-library, apfloat, scala-reflect, spire_2.12,
There are maybe transitive dependencies!
Page 1 from 2 (items total 11)