../ org.overture.ide.builders.vdmj-2.4.6-p2artifa... 2017-03-03 10:35 579 org.overture.ide.builders.vdmj-2.4.6-p2artifa... 2017-03-03 10:35 473 org.overture.ide.builders.vdmj-2.4.6-p2artifa... 2017-03-03 10:35 32 org.overture.ide.builders.vdmj-2.4.6-p2artifa... 2017-03-03 10:35 40 org.overture.ide.builders.vdmj-2.4.6-p2metada... 2017-03-03 10:35 2960 org.overture.ide.builders.vdmj-2.4.6-p2metada... 2017-03-03 10:35 473 org.overture.ide.builders.vdmj-2.4.6-p2metada... 2017-03-03 10:35 32 org.overture.ide.builders.vdmj-2.4.6-p2metada... 2017-03-03 10:35 40 org.overture.ide.builders.vdmj-2.4.6-sources.... 2017-03-03 10:35 12247 org.overture.ide.builders.vdmj-2.4.6-sources.... 2017-03-03 10:35 473 org.overture.ide.builders.vdmj-2.4.6-sources.... 2017-03-03 10:35 32 org.overture.ide.builders.vdmj-2.4.6-sources.... 2017-03-03 10:35 40 org.overture.ide.builders.vdmj-2.4.6.jar 2017-03-03 10:35 386211 org.overture.ide.builders.vdmj-2.4.6.jar.asc 2017-03-03 10:35 473 org.overture.ide.builders.vdmj-2.4.6.jar.md5 2017-03-03 10:35 32 org.overture.ide.builders.vdmj-2.4.6.jar.sha1 2017-03-03 10:35 40 org.overture.ide.builders.vdmj-2.4.6.pom 2017-03-03 10:35 2890 org.overture.ide.builders.vdmj-2.4.6.pom.asc 2017-03-03 10:35 473 org.overture.ide.builders.vdmj-2.4.6.pom.md5 2017-03-03 10:35 32 org.overture.ide.builders.vdmj-2.4.6.pom.sha1 2017-03-03 10:35 40