org.overturetool.vdm2c.ide:p2artifacts.xml

MD5: 0f2d448f8ac208077fd023339c8a859b
Introduced 3 yr 4 mo ago Successvdm2c/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen #461

Usage

This file has been used in the following places:

vdm2c/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgenSuccess#461