[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Sergei Meshveliani]

I see now. Thanks to Andres and Ulf.
Binary-3.1 has been ported.
Now I am going to port DoCon-A-2.02.

------
Sergei



On Thu, 2018-05-24 at 21:08 +0200, Ulf Norell wrote:
> 
> 
> 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
>