Agda fails to install

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

Hi Dominic,

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


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



More information about the Libraries mailing list