[Agda] installing agda-2.4.2.3
Sergei Meshveliani
mechvel at botik.ru
Sun Jul 26 15:12:03 CEST 2015
People,
I am trying to install agda-2.4.2.3 on ghc-7.10.1, Debian Linux.
The commands
> cabal update
> cabal install Agda
produce the report
...
Preprocessing library data-hash-0.2.0.0...
ghc: ghc no longer supports single-file style package databases
(dist/package.conf.inplace) use 'ghc-pkg init' to create the database
with the correct format.
Failed to install data-hash-0.2.0.0
...
> ghc-pkg init
ghc-pkg: command-line syntax error
For usage information see 'ghc-pkg --help'.
> ghc-pkg --help
shows
ghc-pkg init {path}
I understand this as that {path} can be omitted.
Please, how to install Agda ?
Thanks,
------
Sergei
More information about the Agda
mailing list