Agda fails to install

Niklas Broberg niklas.broberg at gmail.com
Sat Mar 27 07:22:37 EDT 2010


Hi Dominic,

> I thought cabal was supposed to relieve me of this sort of dependency
> chasing?

See http://hackage.haskell.org/trac/hackage/ticket/227

Executive summary: cabal doesn't do dependency chasing for build tool
dependencies (yet), only package dependencies.

Cheers,

/Niklas


More information about the Libraries mailing list