licence_readme.diff
build-flags.diff
link-with-lm.diff
gprinstall-no-indep-artifacts.diff
gnat-studio-doc.diff
