Artifacts of org.overture.ide.builders.vdmj #30

org.overturetool.ide.builders / org.overture.ide.builders.vdmj / 3.0.2 /

	org.overture.ide.builders.vdmj-3.0.2.jar	Nov 10, 2020 4:33:44 PM	445.50 KB	view
	org.overture.ide.builders.vdmj-3.0.2.pom	Nov 10, 2020 4:22:17 PM	2.82 KB	view
	org.overture.ide.builders.vdmj-3.0.2-p2artifacts.xml	Nov 10, 2020 4:33:43 PM	579 B	view
	org.overture.ide.builders.vdmj-3.0.2-p2metadata.xml	Nov 10, 2020 4:33:43 PM	3.21 KB	view
(all files in zip)