[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