…
..
extrapatch-5-gprbuild-main.adb
extrapatch-5-gprbuild-post.adb
extrapatch-5-gprbuild-slave.adb
extrapatch-5-gprlib.adb
extrapatch-protocol.adb
extrapatch-src_gprbuild-main.adb
extrapatch-src_gprslave.adb
extrapatch-src_rewrite__data.ada
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_gprinstall-install.adb
patch-src_gprlib.adb