kfreebsd.patch
0014-Makefile.in-remove-empty-variable-LIBRARY_TYPE_OPTIO.patch
0016-Makefile.in-allow-to-override-the-library-type.patch
0017-florist.gpr-ensure-distinct-directories-for-distinct.patch
0018-florist.gpr-allow-override-of-the-shared-object-vers.patch
0019-Allow-the-user-to-override-build-flags.patch
0020-Makefile.in-distinguish-GPRBUILD_FLAGS-and-PROJECT_F.patch
complete_clean_target.diff
