[Agda] Re: The standard library has moved to github

[Ulf Norell]

For now I've made a script that runs on my machine to update and publish
the html listings. They're all up on github-pages here:

http://agda.github.io/agda-stdlib/html/README.html

/ Ulf


On Mon, Jan 20, 2014 at 1:53 AM, Stevan Andjelkovic <
stevan.andjelkovic at strath.ac.uk> wrote:

> 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.
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140122/7aace692/attachment.html