[Agda] Re: [ANNOUNCE] Agda 2.5.1 release candidate 2

[Andrés Sicard-Ramírez]

On 13 April 2016 at 10:34, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> The Agda Team is very pleased to announce the second release candidate
> (RC 2) of Agda 2.5.1 available at
>
>   http://www1.eafit.edu.co/asr/tmp/Agda-2.5.0.20160412.tar.gz

We are planning to release Agda 2.5.1 on Sunday/Monday. Sorry for the
short notice.

-- 
Andrés