JarCasting
JarCasting JarCasting
is not current version
Last Version 2.1.0 →

de.hhu.stups:prob2-ui-servlets 2.0.2

Servlets for ProB 2.0. This will be replaced by a new mechanism.

GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

prob2-ui-servlets
Version

Version

2.0.2
Type

Type

jar

Download prob2-ui-servlets 2.0.2

Filename Size
prob2-ui-servlets-2.0.2.pom
prob2-ui-servlets-2.0.2.jar 3 MB
prob2-ui-servlets-2.0.2-sources.jar 3 MB
prob2-ui-servlets-2.0.2-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.2</version>
</dependency>
// https://jarcasting.com/artifacts/de.hhu.stups/prob2-ui-servlets/
implementation 'de.hhu.stups:prob2-ui-servlets:2.0.2'
// https://jarcasting.com/artifacts/de.hhu.stups/prob2-ui-servlets/
implementation ("de.hhu.stups:prob2-ui-servlets:2.0.2")
'de.hhu.stups:prob2-ui-servlets:jar:2.0.2'
<dependency org="de.hhu.stups" name="prob2-ui-servlets" rev="2.0.2">
  <artifact name="prob2-ui-servlets" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.hhu.stups', module='prob2-ui-servlets', version='2.0.2')
)
libraryDependencies += "de.hhu.stups" % "prob2-ui-servlets" % "2.0.2"
[de.hhu.stups/prob2-ui-servlets "2.0.2"]