[Agda] install darcs version?

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Tue Apr 27 23:31:24 CEST 2010


On 2010-04-26 22:00, Randy Pollack wrote:
> I installed last week's 10.04 release candidate.  The apt-get worked,
> but the "darcs get" didn't:

Thanks for your feedback. I tried the same command using darcs 2.3.0,
and it worked for me. Perhaps you have encountered a bug in darcs. I
would attempt to get again, perhaps using the --no-cache flag. If this
does not work you could use the following tar-ball instead:

  http://code.haskell.org/Agda/Agda-2010-04-27.tgz

--
/NAD



More information about the Agda mailing list