[Agda] New Agda dependencies cause conflict

[Andrés Sicard-Ramírez]

On Wed, Nov 17, 2010 at 8:26 AM, Nils Anders Danielsson
<nad at cs.nott.ac.uk> wrote:
> The constraint is now "QuickCheck == 2.3.*".

Why not

QuickCheck >= 2.3 && < 2.5 ?

i.e. Agda also works with QuickCheck-2.4.* (see the attached patch).

-- 
Andrés
-------------- next part --------------
A non-text attachment was scrubbed...
Name: QuickCheck.dpatch
Type: application/octet-stream
Size: 16711 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20101117/8d4aebcc/QuickCheck.obj