gnatgcc.patch
gnatprj_instead_of_gnat_sources.diff
compilation_options.diff
link_tools_with_shared_asis.diff
typos.diff
report_unexpected_gnat_version.diff
