/devel/gprbuild-aux/patches/
../
patch-Makefile.in
patch-gprbuild.gpr
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_gprlib.adb