prob2-ui-servlets

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

License	Eclipse Public License, Version 1.0
GroupId	de.hhu.stups
ArtifactId	prob2-ui-servlets
Last Version	2.1.0
Release Date	Aug 18, 2021
Type	jar
Description	prob2-ui-servlets Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!
Project URL	https://github.com/bendisposto/probparsers
Source Code Management	https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob2-servlets

Download prob2-ui-servlets

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

How to add to project

Apache Maven

<!-- 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>

Gradle Groovy

// https://jarcasting.com/artifacts/de.hhu.stups/prob2-ui-servlets/
implementation 'de.hhu.stups:prob2-ui-servlets:2.1.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/de.hhu.stups/prob2-ui-servlets/
implementation ("de.hhu.stups:prob2-ui-servlets:2.1.0")

Apache Buildr

'de.hhu.stups:prob2-ui-servlets:jar:2.1.0'

Apache Ivy

<dependency org="de.hhu.stups" name="prob2-ui-servlets" rev="2.1.0">
  <artifact name="prob2-ui-servlets" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='de.hhu.stups', module='prob2-ui-servlets', version='2.1.0')
)

Scala SBT

libraryDependencies += "de.hhu.stups" % "prob2-ui-servlets" % "2.1.0"

Leiningen

[de.hhu.stups/prob2-ui-servlets "2.1.0"]

Dependencies

runtime (16)

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

Project Modules

There are no modules declared in this project.

Versions

Version
2.1.0 Aug 18, 2021
2.0.3 Aug 16, 2016
2.0.2 Feb 24, 2016