[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,
> 

On my  Linux + ghc-7.8.3,  it reports

  happy version >=1.19.4 && <2 is required but the version
  found at /home/mechvel/.cabal/bin/happy is version 1.19.3

If I install and use a higher GHC version (7.10.1 ?), will this help
with this Happy version?

Thanks,

------
Sergei