remove_bzlib_convenience.patch
remove_zlib_convenience.patch
cflags_ldflags.patch
writepla.patch
0006-Fix-spelling-errors.patch
0007-Fix-repro-on-armhf-vs-aarch64.patch
0007-Remove-build-date-time-reproducibility-hazard.patch
0008-Fix-ioWriteVerilog-segfault.patch
0009-Revert-Experiment-with-cost-functions.patch
