[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

[Sergei Meshveliani]

On Mon, 2015-05-18 at 22:56 -0500, Andrés Sicard-Ramírez wrote:
> Hi,
> 
> We would like to announce a release candidate for Agda 2.4.2.3:
> 
>   https://github.com/agda/agda/archive/2.4.2.2.20150518.tar.gz
> 
> This RC can be installed using the following instructions:
> 
>   $ tar xzf 2.4.2.2.20150518.tar.gz
>   $ cd Agda-2.4.2.2.20150518.tar.gz
>   $ cabal install
> 
> Important changes since Agda 2.4.2.2:
> 
>   https://github.com/agda/agda/blob/2.4.2.2.20150518/CHANGELOG
> 
> Please test as much as possible.
> 
> Best,
> 


And where to take its standard library from?

------
Sergei