License |
License |
---|---|
GroupId | GroupIdde.hhu.stups |
ArtifactId | ArtifactIdprob2-ui-servlets |
Version | Version2.0.3 |
Type | Typejar |
Description |
DescriptionProB 2.0 Servlets
Servlets for ProB 2.0. This will be replaced by a new mechanism.
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
prob2-ui-servlets-2.0.3.pom | |
prob2-ui-servlets-2.0.3.jar | 3 MB |
prob2-ui-servlets-2.0.3-sources.jar | 3 MB |
prob2-ui-servlets-2.0.3-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.0.3</version>
</dependency>
// https://jarcasting.com/artifacts/de.hhu.stups/prob2-ui-servlets/
implementation 'de.hhu.stups:prob2-ui-servlets:2.0.3'
// https://jarcasting.com/artifacts/de.hhu.stups/prob2-ui-servlets/
implementation ("de.hhu.stups:prob2-ui-servlets:2.0.3")
'de.hhu.stups:prob2-ui-servlets:jar:2.0.3'
<dependency org="de.hhu.stups" name="prob2-ui-servlets" rev="2.0.3">
<artifact name="prob2-ui-servlets" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.hhu.stups', module='prob2-ui-servlets', version='2.0.3')
)
libraryDependencies += "de.hhu.stups" % "prob2-ui-servlets" % "2.0.3"
[de.hhu.stups/prob2-ui-servlets "2.0.3"]
Group / Artifact | Type | Version |
---|---|---|
org.eclipse.jetty : jetty-webapp | jar | 8.1.8.v20121106 |
de.hhu.stups : de.prob2.kernel | jar | 2.0.2 |
com.google.inject : guice | jar | 4.0 |
org.eclipse.jetty : jetty-server | jar | 8.1.8.v20121106 |
commons-cli : commons-cli | jar | 1.2 |
com.google.code.gson : gson | jar | 1.7.1 |
org.pegdown : pegdown | jar | 1.1.0 |
org.eclipse.jetty : jetty-servlet | jar | 8.1.8.v20121106 |
org.slf4j : slf4j-api | jar | 1.6.1 |
ch.qos.logback : logback-core | jar | 0.9.29 |
org.eclipse.jetty : jetty-util | jar | 8.1.8.v20121106 |
org.eclipse.jetty : jetty-io | jar | 8.1.8.v20121106 |
com.github.spullara.mustache.java : compiler | jar | 0.8.12 |
ch.qos.logback : logback-classic | jar | 0.9.29 |
commons-lang : commons-lang | jar | 2.6 |
com.google.inject.extensions : guice-servlet | jar | 4.0 |