is not current version

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

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

Download org.overture.ide.plugins.coverageeditor 3.0.0

Filename	Size
org.overture.ide.plugins.coverageeditor-3.0.0.pom
org.overture.ide.plugins.coverageeditor-3.0.0.jar	28 KB
org.overture.ide.plugins.coverageeditor-3.0.0-sources.jar	14 KB
org.overture.ide.plugins.coverageeditor-3.0.0-p2metadata.xml	2 KB
org.overture.ide.plugins.coverageeditor-3.0.0-p2artifacts.xml	594 bytes
Browse