documentation-path.patch
# dynamically-tagged-expressions.patch -p0
texinfo.patch
elaboration.patch
documentation-formats.patch
documentation-formats-many-jobs.patch
bashisms.patch
glib2.22.patch
bug-567668.patch
libgtkada2.24.0-dev-part1.patch
libgtkada2.24.0-dev-part2.patch
libgtkada2.24.0-dev-part3.patch
project_editor_make.patch
bug-666958.patch
