[Agda] install darcs version?

[Nicolas Pouillard]

On Mon, 26 Apr 2010 22:00:01 +0100, Randy Pollack <rpollack at inf.ed.ac.uk> wrote:
> Nils Anders Danielsson writes:
>  > 
>  > I would recommend you to install the next version of Ubuntu (10.04,
>  > released on Thursday). Then I suspect that you can install the
>  > development version of Agda as follows (untested):
>  > 
>  >   sudo apt-get install ghc6 cabal-install happy alex darcs emacs \
>  >                        haskell-mode zlib1g-dev libncurses5-dev make
>  >   darcs get --lazy http://code.haskell.org/Agda
>  >   cd Agda
>  >   make install
> 
> I installed last week's 10.04 release candidate.  The apt-get worked,
> but the "darcs get" didn't:
> 
>   rpollack at agdaDell:~$   darcs get --lazy http://code.haskell.org/Agda
>   Copying pristine 710/753 : B.agda                                                                 
>   darcs failed:  Couldn't fetch
>   `0000000070-67d418b7ac2901c2938fe783e37277bd12793d4a2237d46227d28b72025015d4'
>   in subdir pristine.hashed from sources:
> 
>   thisrepo:/home/rpollack/Agda
>   cache:/home/rpollack/.darcs/cache
>   repo:http://code.haskell.org/Agda

You maybe have reached some strange race condition. Can you try to:
  darcs repair
  darcs pull

Otherwise trying to get it again.

You are close to the end...

-- 
Nicolas Pouillard
http://nicolaspouillard.fr