[Agda] Installing from darcs
J.Burton at brighton.ac.uk
J.Burton at brighton.ac.uk
Tue Nov 4 13:51:51 CET 2008
At Tue, 4 Nov 2008 12:30:31 +0100,
Ulf Norell wrote:
>
> [1 <multipart/alternative (7bit)>]
> [1.1 <text/plain; UTF-8 (7bit)>]
> 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.
From Chalmers! Using the new repository works fine. I mistakenly
followed the link on the AFP Summer School 08 page.
Thanks,
Jim
>
> / Ulf
> [1.2 <text/html; UTF-8 (7bit)>]
>
> [2 <text/plain; us-ascii (7bit)>]
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
More information about the Agda
mailing list