[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

[Andrés Sicard-Ramírez]

On 19 May 2015 at 10:01, Sergei Meshveliani <mechvel at botik.ru> wrote:
> And where to take its standard library from?

For the time being, you can use the following command:

  $ git clone https://github.com/agda/agda-stdlib.git --branch 2.4.2.3
--single-branch

-- 
Andrés