org.overturetool.ide:org.overture.ide.vdmrt:pom.xml

MD5: cafe79271aa91626e5765cc2411aaa16
Introduced 10 mo ago overture-development/org.overturetool.ide:org.overture.ide.vdmrt #252

Usage

This file has been used in the following places:

overture-developmentSuccess#265-Success#267 
overture-development/org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core #252   #254 -Success#267 
overture-development/org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug #252   #254 -Success#267 
overture-development/org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui #252   #254 -Success#267 
overture-development/org.overturetool.ide:org.overture.ide.vdmrt #252   #254 -Success#267