org.overturetool.vdm2c.c:vdmclibdist:pom.xml

Usage

This file has been used in the following places:

vdm2c	#461 #462 #464
vdm2c-multibranch-pipeline/development	#143-#156
vdm2c-multibranch-pipeline/mha%2Fdevelopment	#1 #2 #4-#8
vdm2c-multibranch-pipeline/pvj%2Fdevelopment	#62-#86
vdm2c-multibranch-pipeline/pvj%2Fissue-125	#1-#11
vdm2c-multibranch-pipeline/pvj%2Fovt-254	#2-#5
vdm2c-multibranch-pipeline/vpb%2Fdevelopment	#49-#67
vdm2c-multibranch-pipeline/vpb%2Fremoverclassrefs	#1
vdm2c-pvj	#184 #187
vdm2c-pvj/org.overturetool.vdm2c.c:vdmclibdist	#184 #187
vdm2c-vpb	#170-#172
vdm2c-vpb/org.overturetool.vdm2c.c:vdmclibdist	#170-#172
vdm2c/org.overturetool.vdm2c.c:vdmclibdist	#461 #462 #464