[Agda] New Agda dependencies cause conflict

Dirk Ullrich dirk.ullrich at googlemail.com
Tue Nov 16 23:42:44 CET 2010


2010/11/16 Andreas Abel <andreas.abel at ifi.lmu.de>:
> 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.
>
> Also, something was fishy with 2.1.0.3 because cabal would recompile it
> every time I was compiling Agda.
>
I had a similar problem. For me the following workaround did the job:
Install `QuickCheck' with a version <vers> (= 2.3.0.2) explictly
given:
  cabal install QuickCheck-<vers>
before installing Agda.

Dirk


More information about the Agda mailing list