[Agda] Re: Issue 1225 in agda: cannot build Development Agda of July 5, 2014

Sergei Meshveliani mechvel at botik.ru
Mon Jul 7 09:39:00 CEST 2014


(I copy this to agda at lists.chalmers.se because I had an impression that
the Reply suggestion by agda at googlecode.com  did not work)

When Happy was outdated, there was an explicit report on this in 
``cabal install''.
And for Alex, the report is on something very different, so that it is
difficult to guess.

Regards,

------
Sergei


On Sun, 2014-07-06 at 20:34 +0000, agda at googlecode.com wrote:
> Updates:
> 	Status: Invalid
> 
> Comment #1 on issue 1225 by andreas.... at gmail.com: cannot build    
> Development Agda of July 5, 2014
> http://code.google.com/p/agda/issues/detail?id=1225
> 
> You also need to
> 
>    cabal install alex
> 
> as your lexer generator is also outdated.
> 




More information about the Agda mailing list