Central Repository: org/overturetool/ide/org.overture.ide.plugins/2.4.0

../
org.overture.ide.plugins-2.4.0.pom                2016-08-29 14:02      1540      
org.overture.ide.plugins-2.4.0.pom.asc            2016-08-29 14:02       473      
org.overture.ide.plugins-2.4.0.pom.md5            2016-08-29 14:02        32      
org.overture.ide.plugins-2.4.0.pom.sha1           2016-08-29 14:02        40