[Agda] installing agda-2.4.2.3

[Andrea Vezzosi]

I think the problem you are having is that you need to install a newer
version of cabal-install.

calling ghc-pkg init yourself would now help


Cheers,
Andrea

On Sun, Jul 26, 2015 at 3:12 PM, Sergei Meshveliani <mechvel at botik.ru> wrote:
> 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
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda