[Agda] References to the "old" ways of installing the agda stdlib

[Ulf Norell]

The Travis instance uses a prebuilt Agda downloaded from a Dropbox
somewhere. I don't know how to update that. Some relevant issues:

https://github.com/agda/agda-stdlib/issues/45
https://github.com/agda/agda-stdlib/issues/78
https://github.com/agda/agda-stdlib/issues/80

/ Ulf

On Thu, Jun 9, 2016 at 7:09 PM, Natalie Perna <pernanm at mcmaster.ca> wrote:

> > This page seems to be out of date (and I don't know how it is
> > generated). The latest README contains the following text:
> >
> >   -- The library comes with a .agda-lib file, for use with the library
> >   -- management system.
>
> The github.io site is published from the gh-pages branch, which was
> populated by Travis CI:
> https://github.com/agda/agda-stdlib/blob/master/.travis.yml
> It looks like it stopped automatically updating almost a year ago
> though: https://github.com/agda/agda-stdlib/tree/gh-pages
> _______________________________________________
> 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/20160613/a0353080/attachment.html