<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>I failed also to install Agda 2.6.0 using cabal because a file
      necessary in the installation is missing, namely <i>alex</i>.
      Here is the message that I got: <br>
    </p>
    <blockquote> <i>setup: The program 'alex' version >=3.1.0
        && <3.2.0 || ==3.2.1 || >=3.2.3 is</i><br>
      <i> </i><i>required but it could not be found.</i><br>
      <i> </i><i>cabal: Leaving directory
        '/tmp/cabal-tmp-15469/Agda-2.6.0.1'</i><br>
      <i> </i><i>cabal: Error: some packages failed to install:</i><br>
      <i> </i><i>Agda-2.6.0.1 failed during the configure step. The
        exception was:</i><br>
      <i> </i><i>ExitFailure 1</i><br>
    </blockquote>
    <pre class="moz-signature" cols="72">-- 
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
<a class="moz-txt-link-freetext" href="http://perso.ens-lyon.fr/pierre.lescanne/">http://perso.ens-lyon.fr/pierre.lescanne/</a>
---------------------------
</pre>
  </body>
</html>