[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