[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

[Andrés Sicard-Ramírez]

On 20 May 2015 at 04:44, Sergei Meshveliani <mechvel at botik.ru> wrote:
> Do I need to update the  git  version?  (I use 1.7.2.5).

I don't know (my git version is 2.3.5).

What about

$ git clone https://github.com/agda/agda-stdlib.git
$ cd agda-stdlib/
$ git checkout 2.4.2.3

?



-- 
Andrés