../ org.overture.ide.builders.vdmj-2.3.8-p2artifa... 2016-07-04 07:47 579 org.overture.ide.builders.vdmj-2.3.8-p2artifa... 2016-07-04 07:47 455 org.overture.ide.builders.vdmj-2.3.8-p2artifa... 2016-07-04 07:47 32 org.overture.ide.builders.vdmj-2.3.8-p2artifa... 2016-07-04 07:47 40 org.overture.ide.builders.vdmj-2.3.8-p2metada... 2016-07-04 07:47 2960 org.overture.ide.builders.vdmj-2.3.8-p2metada... 2016-07-04 07:47 455 org.overture.ide.builders.vdmj-2.3.8-p2metada... 2016-07-04 07:47 32 org.overture.ide.builders.vdmj-2.3.8-p2metada... 2016-07-04 07:47 40 org.overture.ide.builders.vdmj-2.3.8-sources.... 2016-07-04 07:47 8482 org.overture.ide.builders.vdmj-2.3.8-sources.... 2016-07-04 07:47 455 org.overture.ide.builders.vdmj-2.3.8-sources.... 2016-07-04 07:47 32 org.overture.ide.builders.vdmj-2.3.8-sources.... 2016-07-04 07:47 40 org.overture.ide.builders.vdmj-2.3.8.jar 2016-07-04 07:47 380057 org.overture.ide.builders.vdmj-2.3.8.jar.asc 2016-07-04 07:47 455 org.overture.ide.builders.vdmj-2.3.8.jar.md5 2016-07-04 07:47 32 org.overture.ide.builders.vdmj-2.3.8.jar.sha1 2016-07-04 07:47 40 org.overture.ide.builders.vdmj-2.3.8.pom 2016-07-04 07:47 2890 org.overture.ide.builders.vdmj-2.3.8.pom.asc 2016-07-04 07:47 455 org.overture.ide.builders.vdmj-2.3.8.pom.md5 2016-07-04 07:47 32 org.overture.ide.builders.vdmj-2.3.8.pom.sha1 2016-07-04 07:47 40