[Agda] cabal cannot install Agda 2.6.0

Pierre Lescanne plescann at ens-lyon.fr
Mon Sep 2 09:45:05 CEST 2019


I failed also to install Agda 2.6.0 using cabal because a file necessary 
in the installation is missing, namely /alex/. Here is the message that 
I got:

    /setup: The program 'alex' version >=3.1.0 && <3.2.0 || ==3.2.1 ||
     >=3.2.3 is/
    ///required but it could not be found./
    ///cabal: Leaving directory '/tmp/cabal-tmp-15469/Agda-2.6.0.1'/
    ///cabal: Error: some packages failed to install:/
    ///Agda-2.6.0.1 failed during the configure step. The exception was:/
    ///ExitFailure 1/

-- 
Cheers


---------------------------
Pierre Lescanne (Professeur émérite)
LIP / ENS de Lyon
46 allée d'Italie
69364 LYON Cedex 07, France
tél: +33 6 85 70 94 31
http://perso.ens-lyon.fr/pierre.lescanne/
---------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190902/6c7f7e7a/attachment.html>


More information about the Agda mailing list