add-quickcheck-dependency.patch
gate-tests.patch
