<div dir="ltr">For now I&#39;ve made a script that runs on my machine to update and publish<div>the html listings. They&#39;re all up on github-pages here:</div><div><br></div><div><a href="http://agda.github.io/agda-stdlib/html/README.html">http://agda.github.io/agda-stdlib/html/README.html</a><br>

</div><div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Jan 20, 2014 at 1:53 AM, Stevan Andjelkovic <span dir="ltr">&lt;<a href="mailto:stevan.andjelkovic@strath.ac.uk" target="_blank">stevan.andjelkovic@strath.ac.uk</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Sun, Jan 19, 2014 at 04:27:14PM -0500, Jason Gross wrote:<br>
&gt; $ time darcs get --lazy <a href="http://code.haskell.org/Agda" target="_blank">http://code.haskell.org/Agda</a><br>
&gt; Finished getting.<br>
&gt;<br>
&gt; real    0m25.181s<br>
&gt; user    0m1.952s<br>
&gt; sys     0m2.200s<br>
&gt;<br>
&gt; This is on a computer that is around 4 times faster than the travis<br>
&gt; machines, and is on MIT&#39;s internet.  I could believe that the travis<br>
&gt; machines on slower internet will take around 10 minutes to get the<br>
&gt; Agda repo.<br>
<br>
</div>I had it run until the server killed the job (50 min), darcs still<br>
hadn&#39;t finished fetching the repo at that point...<br>
<br>
Git cloning your clone of the Agda repo, building Agda and generating<br>
the html all finished in under 10 mins though. So it should work fine<br>
once the Agda repo gets migrated.<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>