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 Dependencies Compare Artifact

Add to your project3.0.0

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