abc/remove_bzlib_convenience.patch
abc/remove_zlib_convenience.patch
abc/0007-Remove-build-date-time-reproducibility-hazard.patch
0001-Make-tests-runnable-standalone.patch
0007-Disable-pretty-build.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
#0026-Quiet-write-rst-command-ref-manual.patch
0027-Use-system-libcxxopts.patch
0031-Set-pythonpath-for-usage-docs.patch
1040-sphinx-accept-warnings.patch
