abc/remove_bzlib_convenience.patch
abc/remove_zlib_convenience.patch
abc/cflags_ldflags.patch
abc/writepla.patch
abc/0007-Fix-repro-on-armhf-vs-aarch64.patch
abc/0007-Remove-build-date-time-reproducibility-hazard.patch
0001-Make-tests-runnable-standalone.patch
0007-Disable-pretty-build.patch
0009-Some-spelling-errors-fixed.patch
0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch
0011-Do-not-show-g-build-flags-in-Version-string.patch
0017-Support-plugin-loading-from-libdir.patch
0018-Fix-autotest-compliation.patch
0020-autotest-Print-log-on-error.patch
0026-Quiet-write-rst-command-ref-manual.patch
0027-Use-system-libcxxopts.patch
0028-Reproducible-sphinx-pdfs.patch
0029-Replace-rsync-with-cp.patch
0030-Properly-invalidate-docs-generated-help-on-failure.patch
0031-Set-pythonpath-for-usage-docs.patch
0032-Remove-image-links-to-github.patch
