is not current version

org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor 2.4.0

Categories	Categories IDE Development Tools
GroupId	GroupId org.overturetool.ide.plugins
ArtifactId	ArtifactId org.overture.ide.plugins.coverageeditor
Version	Version 2.4.0
Type	Type eclipse-plugin

Download org.overture.ide.plugins.coverageeditor 2.4.0

Filename	Size
org.overture.ide.plugins.coverageeditor-2.4.0.pom
org.overture.ide.plugins.coverageeditor-2.4.0.jar	25 KB
org.overture.ide.plugins.coverageeditor-2.4.0-sources.jar	11 KB
org.overture.ide.plugins.coverageeditor-2.4.0-p2metadata.xml	2 KB
org.overture.ide.plugins.coverageeditor-2.4.0-p2artifacts.xml	594 bytes
Browse