../ org.overture.ide.builders.vdmj-2.4.8-p2artifa... 2017-06-05 18:20 579 org.overture.ide.builders.vdmj-2.4.8-p2artifa... 2017-06-05 18:20 455 org.overture.ide.builders.vdmj-2.4.8-p2artifa... 2017-06-05 18:20 32 org.overture.ide.builders.vdmj-2.4.8-p2artifa... 2017-06-05 18:20 40 org.overture.ide.builders.vdmj-2.4.8-p2metada... 2017-06-05 18:20 2960 org.overture.ide.builders.vdmj-2.4.8-p2metada... 2017-06-05 18:20 455 org.overture.ide.builders.vdmj-2.4.8-p2metada... 2017-06-05 18:20 32 org.overture.ide.builders.vdmj-2.4.8-p2metada... 2017-06-05 18:20 40 org.overture.ide.builders.vdmj-2.4.8-sources.... 2017-06-05 18:20 12248 org.overture.ide.builders.vdmj-2.4.8-sources.... 2017-06-05 18:20 455 org.overture.ide.builders.vdmj-2.4.8-sources.... 2017-06-05 18:20 32 org.overture.ide.builders.vdmj-2.4.8-sources.... 2017-06-05 18:20 40 org.overture.ide.builders.vdmj-2.4.8.jar 2017-06-05 18:20 386169 org.overture.ide.builders.vdmj-2.4.8.jar.asc 2017-06-05 18:20 455 org.overture.ide.builders.vdmj-2.4.8.jar.md5 2017-06-05 18:20 32 org.overture.ide.builders.vdmj-2.4.8.jar.sha1 2017-06-05 18:20 40 org.overture.ide.builders.vdmj-2.4.8.pom 2017-06-05 18:20 2890 org.overture.ide.builders.vdmj-2.4.8.pom.asc 2017-06-05 18:20 455 org.overture.ide.builders.vdmj-2.4.8.pom.md5 2017-06-05 18:20 32 org.overture.ide.builders.vdmj-2.4.8.pom.sha1 2017-06-05 18:20 40