quickcheck-2.7.patch
