prob2-ui-servlets 2.1.0

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
Version	2.1.0
Type	pom.sha512
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 2.1.0

Filename	Size
prob2-ui-servlets-2.1.0.pom
prob2-ui-servlets-2.1.0-sources.jar	3 MB
prob2-ui-servlets-2.1.0-javadoc.jar	175 KB

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.