org/overturetool/ide/builders/org.overture.ide.builders.vdmj/2.6.5-SNAPSHOT/org.overture.ide.builders.vdmj-2.6.5-SNAPSHOT-p2metadata.xml

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

Usage

This file has been used in the following places:

overturetool/testSuccess#59