Central Repository: org/overturetool/ide/org.overture.ide.vdmsl/2.5.0

../
org.overture.ide.vdmsl-2.5.0.pom                  2017-08-10 11:28       829      
org.overture.ide.vdmsl-2.5.0.pom.asc              2017-08-10 11:28       455      
org.overture.ide.vdmsl-2.5.0.pom.md5              2017-08-10 11:28        32      
org.overture.ide.vdmsl-2.5.0.pom.sha1             2017-08-10 11:28        40