org.overture.ide.vdmpp.debug

org.overturetool.ide.vdmpp

org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug is a Maven Central artifact (eclipse-plugin) for the JVM. It has 18 published versions. Browse versions below for dependency snippets and security details.

Recommended: 3.0.2 18 versions eclipse-plugin Updated 5 years agoChecking...
Analyze DependenciesCompare Artifact

Add to your project3.0.2

<dependency>
    <groupId>org.overturetool.ide.vdmpp</groupId>
    <artifactId>org.overture.ide.vdmpp.debug</artifactId>
    <version>3.0.2</version>
</dependency>

Version Details — 3.0.2

Packaging
eclipse-plugin
Direct Deps
0
Total Deps
0
Published
Unknown
License
Unknown
Checking security advisories...