/devel/gprbuild/files/

• ../
• Makefile.BSD
• patch-share_gprconfig_compilers.xml
• patch-share_gprconfig_gnat.xml
• patch-share_gprconfig_linker.xml
• patch-share_gprconfig_targetset.xml
• patch-src_gprlib.adb