relax-deps.patch
disable-codspeed.patch
disable-failing-bench.patch
remove-varisat-dev-dependency.patch
