fix-quickcheck-gen.patch
relax-deps.patch
disable-benches.patch
