[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

Andrés Sicard-Ramírez asr at eafit.edu.co
Tue May 19 21:43:01 CEST 2015


On 19 May 2015 at 14:04, Sergei Meshveliani <mechvel at botik.ru> wrote:
> 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?

You don't need GHC 7.10.1. You can install a new version of Happy.

-- 
Andrés


More information about the Agda mailing list