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

MD5: ad6c35fd510bdc681953dd5ca35b0867
Introduced 5 mo 13 days ago overture-development/org.overturetool.ide:org.overture.ide.parsers #252

Usage

This file has been used in the following places:

overture-developmentSuccess#263-Success#267 
overture-development/org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj #252   #254 -Success#267 
overture-development/org.overturetool.ide:org.overture.ide.parsers #252   #254 -Success#267 
overturetool/ncb%2FdevelopmentFailed#145-Success#147