org.overturetool.vdm2c.ide:p2artifacts.xml

MD5: d96dc40d31f5da8a5191a55b7ffbeed8
Introduced 3 yr 6 mo ago Successvdm2c-pvj/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen #184

Usage

This file has been used in the following places:

vdm2c-pvj/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgenSuccess#184