[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Ulf Norell]

On Thu, May 24, 2018 at 9:02 PM, Sergei Meshveliani <mechvel at botik.ru>
wrote:

> I go to
>      https://github.com/agda/agda-stdlib/
>
> and choose the button "Clone or download", choosing "download".
> And it downloads
>                  agda-stdlib-master.zip  (483201 byte).
>
> Is this the experimental branch?
>

No, that's the master branch, which you can tell from the fact that it ends
with `-master`.
There's a drop down on the left side of the main page which says "Branch:
master". Fiddle
with that until it says "Branch: experimental", then try the download again.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180524/da76cf7a/attachment.html>