org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui-2.6.5-SNAPSHOT.jar
MD5: efcdf31526edba543b4a761564f4c4ba
Introduced 3 yr 11 mo ago
overture-test/org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui #198

Usage
This file has been used in the following places: