add-quickcheck-dependency.patch
gate-tests.patch
eliminate-test-helper.patch
relax-dep.patch
eliminate-build-context.patch
