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

MD5: eedc8df4e808ed63d08d3ec998dc0541
Introduced 1 mo 24 days ago Successoverture-master/org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj #29

Usage

This file has been used in the following places:

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