joel@joel-laptop:~/Desktop/Machine languages/agda$ cabal install agda
[...]
In-place registering void-0.7.1...
Installing library in /home/joel/.cabal/lib/void-0.7.1/ghc-7.6.3
Registering void-0.7.1...
Installed void-0.7.1
cabal: Error: some packages failed to install:
Agda-2.5.1 depends on haskell-src-exts-1.17.1 which failed to install.
EdisonAPI-1.3 failed during the configure step. The exception was:
user error (The package requires Cabal library version -any && >=1.22 but no
suitable version is installed.)
EdisonCore-1.3.1.1 depends on EdisonAPI-1.3 which failed to install.
haskeline-0.7.2.3 depends on terminfo-0.4.0.2 which failed to install.
haskell-src-exts-1.17.1 failed during the configure step. The exception was:
ExitFailure 1
terminfo-0.4.0.2 failed during the configure step. The exception was:
ExitFailure 1
joel@joel-laptop:~/Desktop/Machine languages/agda$