compilation_options.diff
library_versions.diff
no-link-static.diff
no-c-if-external-sqlite.diff
shared-project.diff
projects-style.diff
no-gnatcoll-so-ext.diff
no-library-interface.diff
link-pthread.diff
sphinx-python3.diff
sphinx-remove-unused-extensions.diff
revert-sqlite-subseconds.diff
