[Agda] Installing from darcs

[Ulf Norell]

On Tue, Nov 4, 2008 at 1:21 PM, <J.Burton at brighton.ac.uk> wrote:

> Hi, I have a problem installing from darcs HEAD with GHC 6.8.3. I
> tried installing with cabal and "runhaskell Setup..." in case there
> was any difference...


Just a thought. Did you pull from the old repository hosted at Chalmers or
the new code.haskell.org repository? I don't think the old repository is
properly updated.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20081104/1aa10808/attachment.html