[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

[Andrés Sicard-Ramírez]

On 20 May 2015 at 06:40, Sergei Meshveliani <mechvel at botik.ru> wrote:
> It reports
>
>  Branch 2.4.2.3 set up to track remote branch 2.4.2.3 from origin.
>  Switched to a new branch '2.4.2.3'
>
> The downloaded file/directory list is shown (by ls) as
>
>  AllNonAsciiChars.hs    GNUmakefile  notes                README.md
>  CHANGELOG              Header       publish-listings.sh  Setup.hs
>  ffi                    lib.cabal    README               src
>  GenerateEverything.hs  LICENCE      README.agda
>
> Is this the library source you intended?

Yes.

-- 
Andrés