Dependencies · ultimate-pa/smtinterpol

Dependency graph

7 Total

com.github.jhoenicke:jh-javacup 1.2
Maven · Webinterface/pom.xml · Detected automatically on Jun 27, 2022 · NOASSERTION
javax.servlet:javax.servlet-api 3.1.0
Maven · Webinterface/pom.xml · Detected automatically on Jun 27, 2022 · CDDL-1.0 OR GPL-2.0-only WITH Classpath-exception-2.0
org.codehaus.mojo:build-helper-maven-plugin 3.1.0
Maven · Webinterface/pom.xml · Detected automatically on Jun 27, 2022 · MIT
org.eclipse.m2e:lifecycle-mapping 1.0.0
Maven · Webinterface/pom.xml · Detected automatically on Jun 27, 2022
org.teavm:teavm-classlib 0.7.0
Maven · Webinterface/pom.xml · Detected automatically on Jun 27, 2022 · Apache-2.0
org.teavm:teavm-jso-apis 0.7.0
Maven · Webinterface/pom.xml · Detected automatically on Jun 27, 2022 · Apache-2.0
org.teavm:teavm-maven-plugin 0.7.0
Maven · Webinterface/pom.xml · Detected automatically on Jun 27, 2022 · Apache-2.0