[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