[Haskell-cafe] Installing agda through cabal

[Paulo J. Matos]

Hi all,

I am trying to install agda through cabal but I get this:
$ cabal install alex
Resolving dependencies...
[1 of 1] Compiling Main
( /tmp/alex-2.3.116333/alex-2.3.1/Setup.lhs, /tmp/alex-2.3.116333/alex-2.3.1/dist/setup/Main.o )

/tmp/alex-2.3.116333/alex-2.3.1/Setup.lhs:6:51:
    Warning: In the use of `buildVerbose'
             (imported from Distribution.Simple.Setup):
             Deprecated: "Use buildVerbosity instead"

/tmp/alex-2.3.116333/alex-2.3.1/Setup.lhs:7:51:
    Warning: In the use of `defaultUserHooks'
             (imported from Distribution.Simple):
             Deprecated: "Use simpleUserHooks or autoconfUserHooks,
unless you need Cabal-1.2
             compatibility in which case you must stick with
defaultUserHooks"
Linking /tmp/alex-2.3.116333/alex-2.3.1/dist/setup/setup ...
Warning: defaultUserHooks in Setup script is deprecated.
Configuring alex-2.3.1...
Preprocessing executables for alex-2.3.1...
Building alex-2.3.1...
[ 1 of 16] Compiling Set              ( src/Set.hs,
dist/build/alex/alex-tmp/Set.o )
[ 2 of 16] Compiling DFS              ( src/DFS.hs,
dist/build/alex/alex-tmp/DFS.o )
[ 3 of 16] Compiling Sort             ( src/Sort.hs,
dist/build/alex/alex-tmp/Sort.o )
[ 4 of 16] Compiling CharSet          ( src/CharSet.hs,
dist/build/alex/alex-tmp/CharSet.o )
[ 5 of 16] Compiling Map              ( src/Map.hs,
dist/build/alex/alex-tmp/Map.o )
[ 6 of 16] Compiling Paths_alex
( dist/build/autogen/Paths_alex.hs,
dist/build/alex/alex-tmp/Paths_alex.o )
[ 7 of 16] Compiling Util             ( src/Util.hs,
dist/build/alex/alex-tmp/Util.o )
[ 8 of 16] Compiling AbsSyn           ( src/AbsSyn.hs,
dist/build/alex/alex-tmp/AbsSyn.o )
[ 9 of 16] Compiling ParseMonad       ( src/ParseMonad.hs,
dist/build/alex/alex-tmp/ParseMonad.o )
[10 of 16] Compiling Scan
( dist/build/alex/alex-tmp/Scan.hs, dist/build/alex/alex-tmp/Scan.o )
[11 of 16] Compiling Output           ( src/Output.hs,
dist/build/alex/alex-tmp/Output.o )
[12 of 16] Compiling Info             ( src/Info.hs,
dist/build/alex/alex-tmp/Info.o )
[13 of 16] Compiling NFA              ( src/NFA.hs,
dist/build/alex/alex-tmp/NFA.o )
[14 of 16] Compiling DFA              ( src/DFA.hs,
dist/build/alex/alex-tmp/DFA.o )
[15 of 16] Compiling Parser
( dist/build/alex/alex-tmp/Parser.hs,
dist/build/alex/alex-tmp/Parser.o )
[16 of 16] Compiling Main             ( src/Main.hs,
dist/build/alex/alex-tmp/Main.o )
Linking dist/build/alex/alex ...
Installing executable(s) in /home/pmatos/.cabal/bin
pmatos at drserver ~ $ cabal install agda
Resolving dependencies...
Configuring Agda-2.2.2...
cabal: alex version >=2.0.1 && <3 is required but it could not be found.
cabal: Error: some packages failed to install:
Agda-2.2.2 failed during the configure step. The exception was:
exit: ExitFailure 1

As you can see, I had just finished installing alex 2.3.1, so why does
cabal still request alex >=2.0.1 && <3?

Cheers,

Paulo Matos