/patch-Makefile.in/1.2/Wed Apr 30 16:28:09 2014//Tpkgsrc-2015Q2
/patch-gprbuild.gpr/1.2/Wed Apr 30 16:28:09 2014//Tpkgsrc-2015Q2
/patch-share_gprconfig_compilers.xml/1.2/Wed Apr 30 16:28:09 2014//Tpkgsrc-2015Q2
/patch-share_gprconfig_gnat.xml/1.2/Wed Apr 30 16:28:09 2014//Tpkgsrc-2015Q2
/patch-share_gprconfig_linker.xml/1.2/Wed Apr 30 16:28:09 2014//Tpkgsrc-2015Q2
/patch-share_gprconfig_targetset.xml/1.2/Wed Apr 30 16:28:09 2014//Tpkgsrc-2015Q2
/patch-src_gpr__version.adb/1.1/Wed Apr 30 16:28:09 2014//Tpkgsrc-2015Q2
/patch-src_gprlib.adb/1.2/Wed Apr 30 16:28:09 2014//Tpkgsrc-2015Q2
D
