[QuickCheck] Request new release of QuickCheck

[Andrés Sicard-Ramírez]

Hi,

Given the issue reported in the Agda bug tracker (
https://code.google.com/p/agda/issues/detail?id=1139 ), could you release a
new version of QuickCheck, please.

Thanks,

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://projects.haskell.org/pipermail/quickcheck/attachments/20140521/437cabd1/attachment.htm>