Last Version 3.0.2 →

org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug 2.3.8

Categories	Categories IDE Development Tools
GroupId	GroupId org.overturetool.ide.vdmpp
ArtifactId	ArtifactId org.overture.ide.vdmpp.debug
Version	Version 2.3.8
Type	Type eclipse-plugin

Download org.overture.ide.vdmpp.debug 2.3.8

Filename	Size
org.overture.ide.vdmpp.debug-2.3.8.pom
org.overture.ide.vdmpp.debug-2.3.8.jar	13 KB
org.overture.ide.vdmpp.debug-2.3.8-sources.jar	10 KB
org.overture.ide.vdmpp.debug-2.3.8-p2metadata.xml	2 KB
org.overture.ide.vdmpp.debug-2.3.8-p2artifacts.xml	570 bytes
Browse