[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