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
abc/1010-mach-only-apple.patch
abc/1030-missing-path-max.patch
abc/1050-no-128-bit-archs.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
0031-Set-pythonpath-for-usage-docs.patch
0032-proc-no-path-max.patch
0040-port-i386-floating-point-miscalculation.patch
1000-dot-resolution.patch
1040-sphinx-accept-warnings.patch
