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

../
org.overture.ide.plugins-2.7.2.pom                2019-09-30 08:05      1540      
org.overture.ide.plugins-2.7.2.pom.asc            2019-09-30 08:05       659      
org.overture.ide.plugins-2.7.2.pom.md5            2019-09-30 08:05        32      
org.overture.ide.plugins-2.7.2.pom.sha1           2019-09-30 08:05        40