[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