[Agda] Re: The standard library has moved to github
Stevan Andjelkovic
stevan.andjelkovic at strath.ac.uk
Mon Jan 20 01:53:04 CET 2014
On Sun, Jan 19, 2014 at 04:27:14PM -0500, Jason Gross wrote:
> $ time darcs get --lazy http://code.haskell.org/Agda
> Finished getting.
>
> real 0m25.181s
> user 0m1.952s
> sys 0m2.200s
>
> This is on a computer that is around 4 times faster than the travis
> machines, and is on MIT's internet. I could believe that the travis
> machines on slower internet will take around 10 minutes to get the
> Agda repo.
I had it run until the server killed the job (50 min), darcs still
hadn't finished fetching the repo at that point...
Git cloning your clone of the Agda repo, building Agda and generating
the html all finished in under 10 mins though. So it should work fine
once the Agda repo gets migrated.
More information about the Agda
mailing list