[Agda] install agda

[Michel Levy]

I try again to run two agda versions, one is my old agda version 2.5.3
installed by the Ubuntu package, the other was supposed to be installed
with "cabal install Agda" But I am still with the same error, I
described in this list the 18 March, and that I can't solved. Can you
help me ?

Andrés Sicard-Ramírez wrote "It seems you are mixing the installation of
Agda from Ubuntu packages and from Hackage". Why it's not possible to
install two versions of agda, one with ubuntu and the other with cabal ? 

Resolving dependencies...
Configuring Agda-2.6.1...
Building Agda-2.6.1...
Failed to install Agda-2.6.1
Build log ( /home/michel/.cabal/logs/Agda-2.6.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-7014/Agda-2.6.1'
[1 of 1] Compiling Main             (
/tmp/cabal-tmp-7014/Agda-2.6.1/dist/setup/setup.hs,
/tmp/cabal-tmp-7014/Agda-2.6.1/dist/setup/Main.o )
Linking /tmp/cabal-tmp-7014/Agda-2.6.1/dist/setup/setup ...
Configuring Agda-2.6.1...
Building Agda-2.6.1...
Preprocessing library Agda-2.6.1...
[  1 of 369] Compiling Paths_Agda       (
dist/build/autogen/Paths_Agda.hs, dist/build/Paths_Agda.o )
[  2 of 369] Compiling Agda.Version     ( src/full/Agda/Version.hs,
dist/build/Agda/Version.o )
[  3 of 369] Compiling Agda.VersionCommit (
src/full/Agda/VersionCommit.hs, dist/build/Agda/VersionCommit.o )

src/full/Agda/VersionCommit.hs:5:1: error:
    Failed to load interface for ‘Development.GitRev’
    There are files missing in the
‘gitrev-1.3.1 at gitrev-1.3.1-6KBEbA9rw49F9GCJBEz6uX’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
cabal: Leaving directory '/tmp/cabal-tmp-7014/Agda-2.6.1'
cabal: Error: some packages failed to install:
Agda-2.6.1 failed during the building phase. The exception was:
ExitFailure 1

I run 'ghc-pkg check' and that give me many pages of errors starting with

ghc-pkg check
There are problems in package aeson-1.4.6.0:
  Warning: library-dirs:
/home/michel/.cabal/lib/i386-linux-ghc-8.0.2/aeson-1.4.6.0-1vlLcAj8kIrJVlnNw4kUo5
doesn't exist or isn't a directory
  Warning: dynamic-library-dirs:
/home/michel/.cabal/lib/i386-linux-ghc-8.0.2 doesn't exist or isn't a
directory
  import-dirs:
/home/michel/.cabal/lib/i386-linux-ghc-8.0.2/aeson-1.4.6.0-1vlLc


-- 
courriel : michel.levy.imag at free.fr
mobile : 06 59 13 42 53
web : michel.levy.imag.free.fr