Package: agda
Version: 2.2.10-3
I need alex 3.0.1, but agda will not build with it:
[ 73 of 211] Compiling Agda.Syntax.Parser.Lexer (
dist-ghc/build/Agda/Syntax/Parser/
Lexer.hs, dist-ghc/build/Agda/Syntax/Parser/Lexer.o )
dist-ghc/build/Agda/Syntax/Parser/Lexer.hs:315:22:
Not in scope: `alexGetByte'
dist-ghc/build/Agda/Syntax/Parser/Lexer.hs:349:8:
Not in scope: `alexGetByte'
make: *** [build-ghc-stamp] Error 1
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
