…
..
patch-gprbuild.gpr
patch-Makefile.in
patch-share_gprconfig_compilers.xml
patch-share_gprconfig_gnat.xml
patch-share_gprconfig_linker.xml
patch-share_gprconfig_targetset.xml
patch-src_gpr__version.adb
patch-src_gprbuild-compilation-protocol.adb
patch-src_gprbuild-main.adb
patch-src_gprinstall-install.adb
patch-src_gprlib.adb
patch-src_gprslave.adb
patch-src_rewrite__data.ada