private-linker-options.diff
cflags_also_gnatcoll_support_c.diff
link-with-libdl.diff
doc_path.diff
gpr-renamed-to-gnatprj.diff
python3-doc-in-gps.diff
