gprinstall-no-artifacts.diff
adapt_projects.diff
doc-conf-sphinx4.diff
