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

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

Usage

This file has been used in the following places:

overturetool/testSuccess#59