[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