License |
License |
---|---|
GroupId | GroupIdde.hhu.stups |
ArtifactId | ArtifactIdprob2-ui-servlets |
Last Version | Last Version2.1.0 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionprob2-ui-servlets
Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
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 |
Browse |
<!-- 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"]
Group / Artifact | Type | Version |
---|---|---|
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 |