[Agda] install darcs version?
Randy Pollack
rpollack at inf.ed.ac.uk
Mon Apr 26 23:00:01 CEST 2010
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
Randy
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
More information about the Agda
mailing list