is not current version

org.overturetool.ide:org.overture.ide.ui 2.5.2

Categories	Categories IDE Development Tools
GroupId	GroupId org.overturetool.ide
ArtifactId	ArtifactId org.overture.ide.ui
Version	Version 2.5.2
Type	Type eclipse-plugin

Download org.overture.ide.ui 2.5.2

Filename	Size
org.overture.ide.ui-2.5.2.pom
org.overture.ide.ui-2.5.2.jar	689 KB
org.overture.ide.ui-2.5.2-sources.jar	222 KB
org.overture.ide.ui-2.5.2-p2metadata.xml	3 KB
org.overture.ide.ui-2.5.2-p2artifacts.xml	548 bytes
Browse