[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