org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.debug-2.6.5-SNAPSHOT-p2metadata.xml

MD5: a32c293dc2300086695c293d5ce2fa82
Introduced 2 yr 1 mo ago overturetool/pvj%2Fmain #105

Usage

This file has been used in the following places:

overturetool/testSuccess#59