org.overturetool.ide.builders:org.overture.ide.builders.vdmj-3.0.0.jar

MD5: 5a2109d85656249e09280891b3de927d
Introduced 11 mo ago Successoverture-master/org.overturetool.ide.builders:org.overture.ide.builders.vdmj #29

Usage

This file has been used in the following places:

overture-master/org.overturetool.ide.builders:org.overture.ide.builders.vdmjSuccess#29