JarCasting
JarCasting JarCasting

prob2-ui-servlets

Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!

Лицензия

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

Группа

de.hhu.stups
Идентификатор

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

prob2-ui-servlets
Последняя версия

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

2.1.0
Дата

Дата
Тип

Тип

jar
Описание

Описание

prob2-ui-servlets
Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!
Ссылка на сайт

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

https://github.com/bendisposto/probparsers
Система контроля версий

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

https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob2-servlets

Скачать prob2-ui-servlets

Имя Файла Размер
prob2-ui-servlets-2.1.0.pom
prob2-ui-servlets-2.1.0.jar 3 MB
prob2-ui-servlets-2.1.0-sources.jar 3 MB
prob2-ui-servlets-2.1.0-javadoc.jar 261 bytes
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/de.hhu.stups/prob2-ui-servlets/ -->
<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>prob2-ui-servlets</artifactId>
    <version>2.1.0</version>
</dependency>
// https://jarcasting.com/artifacts/de.hhu.stups/prob2-ui-servlets/
implementation 'de.hhu.stups:prob2-ui-servlets:2.1.0'
// https://jarcasting.com/artifacts/de.hhu.stups/prob2-ui-servlets/
implementation ("de.hhu.stups:prob2-ui-servlets:2.1.0")
'de.hhu.stups:prob2-ui-servlets:jar:2.1.0'
<dependency org="de.hhu.stups" name="prob2-ui-servlets" rev="2.1.0">
  <artifact name="prob2-ui-servlets" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.hhu.stups', module='prob2-ui-servlets', version='2.1.0')
)
libraryDependencies += "de.hhu.stups" % "prob2-ui-servlets" % "2.1.0"
[de.hhu.stups/prob2-ui-servlets "2.1.0"]

Зависимости

runtime (16)

Идентификатор библиотеки Тип Версия
de.hhu.stups : de.prob2.kernel jar 3.14.0
commons-cli : commons-cli jar 1.2
commons-lang : commons-lang jar 2.6
org.pegdown : pegdown jar 1.1.0
com.google.inject : guice jar 4.0
com.google.inject.extensions : guice-servlet jar 4.0
org.slf4j : slf4j-api jar 1.6.1
ch.qos.logback : logback-core jar 0.9.29
ch.qos.logback : logback-classic jar 0.9.29
com.google.code.gson : gson jar 1.7.1
org.eclipse.jetty : jetty-io jar 8.1.8.v20121106
org.eclipse.jetty : jetty-server jar 8.1.8.v20121106
org.eclipse.jetty : jetty-servlet jar 8.1.8.v20121106
org.eclipse.jetty : jetty-util jar 8.1.8.v20121106
org.eclipse.jetty : jetty-webapp jar 8.1.8.v20121106
com.github.spullara.mustache.java : compiler jar 0.8.12

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

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

Версии библиотеки

Версия
2.1.0
2.0.3
2.0.2