[Agda] [ANNOUNCE] Agda 2.5.4.2

[Andres Sicard Ramirez]

On Tue, 30 Oct 2018 at 08:01, Sergei Meshveliani <mechvel at botik.ru> wrote:
>
> 1. What is, briefly, its relation to the Development version of
>    September 6, 2018 ?

The main changes in the upstream version *are being* documented as
"Release notes for Agda version 2.6.0" in

   https://github.com/agda/agda/blob/0776b8813731d6593626bc908ddc247ea5a66c08/CHANGELOG.md

Best,

-- 
Andrés