[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Andrés Sicard-Ramírez]

On 25 May 2018 at 12:56, Sergei Meshveliani <mechvel at botik.ru> wrote:
> On Sat, 2018-05-19 at 15:33 -0500, Andrés Sicard-Ramírez wrote:
>> The Agda Team is very pleased to announce the first release candidate
>> of Agda 2.5.4. We plan to release 2.5.4 in one week.
>>
>
>
> Can you please delay it a bit?

We have decided not to release Agda 2.5.4 this week but next week.

-- 
Andrés