/patch-share_gprconfig_compilers.xml/1.3/Fri Nov 25 20:36:49 2016//Tpkgsrc-2019Q1
/patch-share_gprconfig_gnat.xml/1.3/Fri Nov 25 20:36:49 2016//Tpkgsrc-2019Q1
/patch-share_gprconfig_linker.xml/1.3/Fri Nov 25 20:36:49 2016//Tpkgsrc-2019Q1
/patch-share_gprconfig_targetset.xml/1.3/Fri Nov 25 20:36:49 2016//Tpkgsrc-2019Q1
/patch-src_gprlib.adb/1.3/Fri Nov 25 20:36:49 2016//Tpkgsrc-2019Q1
D
