| Лицензия |
Лицензия |
|---|---|
| Группа | Группаorg.sireum |
| Идентификатор | Идентификаторlogika-runtime_2.11 |
| Версия | Версия3.0.0-7 |
| Тип | Типjar |
| Описание |
Описаниеlogika-runtime
logika-runtime
|
| Ссылка на сайт |
Ссылка на сайт |
| Организация-разработчик |
Организация-разработчикorg.sireum |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| logika-runtime_2.11-3.0.0-7.pom | |
| logika-runtime_2.11-3.0.0-7.jar | 458 KB |
| logika-runtime_2.11-3.0.0-7-sources.jar | 22 KB |
| logika-runtime_2.11-3.0.0-7-javadoc.jar | 708 KB |
| Обзор |
<!-- https://jarcasting.com/artifacts/org.sireum/logika-runtime_2.11/ -->
<dependency>
<groupId>org.sireum</groupId>
<artifactId>logika-runtime_2.11</artifactId>
<version>3.0.0-7</version>
</dependency>
// https://jarcasting.com/artifacts/org.sireum/logika-runtime_2.11/
implementation 'org.sireum:logika-runtime_2.11:3.0.0-7'
// https://jarcasting.com/artifacts/org.sireum/logika-runtime_2.11/
implementation ("org.sireum:logika-runtime_2.11:3.0.0-7")
'org.sireum:logika-runtime_2.11:jar:3.0.0-7'
<dependency org="org.sireum" name="logika-runtime_2.11" rev="3.0.0-7">
<artifact name="logika-runtime_2.11" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.sireum', module='logika-runtime_2.11', version='3.0.0-7')
)
libraryDependencies += "org.sireum" % "logika-runtime_2.11" % "3.0.0-7"
[org.sireum/logika-runtime_2.11 "3.0.0-7"]
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.scala-lang : scala-library | jar | 2.11.8 |
| org.apfloat : apfloat | jar | 1.8.2 |
| org.scala-lang : scala-reflect | jar | 2.11.8 |
| org.spire-math : spire_2.11 | jar | 0.11.0 |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| com.novocode : junit-interface | jar | 0.11 |