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

../
org.overture.ide.plugins-2.5.6.pom                2017-12-11 08:49      1540      
org.overture.ide.plugins-2.5.6.pom.asc            2017-12-11 08:49       455      
org.overture.ide.plugins-2.5.6.pom.md5            2017-12-11 08:49        32      
org.overture.ide.plugins-2.5.6.pom.sha1           2017-12-11 08:49        40