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

MD5: 50087231be91d05e0fe9aded4a9c9e2e
Introduced 4 yr 2 mo ago overture-master/org.overturetool.ide.builders:org.overture.ide.builders.vdmj #10

Usage

This file has been used in the following places:

overture-graphics-developmentSuccess#34 
overture-graphics-development/org.overturetool.graphics.ide:org.overturetool.graphics.ide.features.overturegraphicsSuccess#34 
overture-graphics-development/org.overturetool.graphics.ide:org.overturetool.graphics.ide.repositorySuccess#34 
overture-graphics-development/org.overturetool.ide.graphics.core:org.overturetool.ide.overturegraphics.coreSuccess#34 
overture-graphics-development/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.linux.x86_64Success#34 
overture-graphics-development/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.macosx.x86_64Success#34 
overture-graphics-development/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win32Success#34 
overture-graphics-development/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win64Success#34 
overture-graphics-masterSuccess#3 Success#4 
overture-graphics-master/org.overturetool.graphics.ide:org.overturetool.graphics.ide.features.overturegraphicsSuccess#3 Success#4 
overture-graphics-master/org.overturetool.graphics.ide:org.overturetool.graphics.ide.repositorySuccess#3 Success#4 
overture-graphics-master/org.overturetool.ide.graphics.core:org.overturetool.ide.overturegraphics.coreSuccess#3 Success#4 
overture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.linux.x86_64Success#3 Success#4 
overture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.macosx.x86_64Success#3 Success#4 
overture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win32Success#3 Success#4 
overture-graphics-master/org.overturetool.ide.graphics:org.overturetool.ide.overturegraphics.win32.win64Success#3 Success#4