Build org.overture.ide.vdmpp.core (Feb 9, 2021 11:47:33 AM)

	Build Artifacts org.overture.ide.vdmpp.core-3.0.3-SNAPSHOT-p2artifacts.xml 588 B  view org.overture.ide.vdmpp.core-3.0.3-SNAPSHOT-p2metadata.xml 2.11 KB  view org.overture.ide.vdmpp.core-3.0.3-SNAPSHOT.jar 8.80 KB  view org.overture.ide.vdmpp.core-3.0.3-SNAPSHOT.pom 643 B  view
	No changes.
	Task Scanner: 2 open tasks in 3 workspace files.