[Agda] New Agda dependencies cause conflict

[Nils Anders Danielsson]

On 2010-11-16 22:18, Andreas Abel wrote:
> Thanks. I upgraded QuickCheck, but cabaling Agda still picked 2.1.0.3.
> I had to modify Agda.cabal to require QuickCheck >= 2.3. Then it
> worked.

The constraint is now "QuickCheck == 2.3.*".

-- 
/NAD