0001-port-to-quickcheck-1-rand-0.10.patch
