[Agda] New Agda dependencies cause conflict

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Wed Nov 17 14:26:35 CET 2010


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


More information about the Agda mailing list