abc/remove_bzlib_convenience.patch
abc/remove_zlib_convenience.patch
abc/cflags_ldflags.patch
abc/writepla.patch
abc/0006-Fix-spelling-errors.patch
abc/0007-Fix-repro-on-armhf-vs-aarch64.patch
abc/0007-Remove-build-date-time-reproducibility-hazard.patch
switch-to-free-font.patch
kfreebsd-support.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
0021-Fix-global-cache-destruction-in-IdString-class.patch
0023-Use-SOURCE-DATE-EPOCH-for-docs.patch
0025-Remove-emoji-causing-latex-errors.patch
0026-Quiet-write-rst-command-ref-manual.patch
