4.0.0 org.overturetool.vdm2c ide 0.1.17-SNAPSHOT ../pom.xml eclipse-repository org.overturetool.vdm2c.ide org.overturetool.vdm2c.ide.repository Overture IDE Eclipse repository org.eclipse.tycho tycho-p2-repository-plugin ${tycho.version} true