/devel/gprbuild/files/
../
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_gprlib.adb