JarCasting
JarCasting JarCasting
Последняя версия

inox 1.1.0-343-gdc719cc

inox

Лицензия

Лицензия
Группа

Группа

ch.epfl.lara
Идентификатор

Идентификатор

inox_2.11
Версия

Версия

1.1.0-343-gdc719cc
Тип

Тип

jar
Описание

Описание

inox
inox
Ссылка на сайт

Ссылка на сайт

https://github.com/epfl-lara/inox
Организация-разработчик

Организация-разработчик

ch.epfl.lara
Система контроля версий

Система контроля версий

https://github.com/epfl-lara/inox

Скачать inox_2.11 1.1.0-343-gdc719cc

Имя Файла Размер
inox_2.11-1.1.0-343-gdc719cc.pom
inox_2.11-1.1.0-343-gdc719cc.jar 7 MB
inox_2.11-1.1.0-343-gdc719cc-tests.jar 519 KB
inox_2.11-1.1.0-343-gdc719cc-sources.jar 299 KB
inox_2.11-1.1.0-343-gdc719cc-javadoc.jar 3 MB
inox_2.11-1.1.0-343-gdc719cc-it.jar 495 KB
Обзор 

<!-- https://jarcasting.com/artifacts/ch.epfl.lara/inox_2.11/ -->
<dependency>
    <groupId>ch.epfl.lara</groupId>
    <artifactId>inox_2.11</artifactId>
    <version>1.1.0-343-gdc719cc</version>
</dependency>
// https://jarcasting.com/artifacts/ch.epfl.lara/inox_2.11/
implementation 'ch.epfl.lara:inox_2.11:1.1.0-343-gdc719cc'
// https://jarcasting.com/artifacts/ch.epfl.lara/inox_2.11/
implementation ("ch.epfl.lara:inox_2.11:1.1.0-343-gdc719cc")
'ch.epfl.lara:inox_2.11:jar:1.1.0-343-gdc719cc'
<dependency org="ch.epfl.lara" name="inox_2.11" rev="1.1.0-343-gdc719cc">
  <artifact name="inox_2.11" type="jar" />
</dependency>
@Grapes(
@Grab(group='ch.epfl.lara', module='inox_2.11', version='1.1.0-343-gdc719cc')
)
libraryDependencies += "ch.epfl.lara" % "inox_2.11" % "1.1.0-343-gdc719cc"
[ch.epfl.lara/inox_2.11 "1.1.0-343-gdc719cc"]

Зависимости

compile (5)

Идентификатор библиотеки Тип Версия
org.scala-lang : scala-library jar 2.11.8
org.apache.commons : commons-lang3 jar 3.4
org.scala-lang : scala-reflect jar 2.11.8
com.regblanc : scala-smtlib_2.11 jar 0.2.2-7-g00a9686
uuverifiers » princess_2.11 jar 2018-02-26

test (1)

Идентификатор библиотеки Тип Версия
org.scalatest : scalatest_2.11 jar 3.0.1

Модули Проекта

Данный проект не имеет модулей.