<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    On Ubuntu 14.04 AMD-64, with the latest Haskell Platform, GHC 7.8.3
    and cabal-install version 1.22.2.0  installed,<br>
    "cabal install agda" (2.4.2.2) forces cpphs-1.18.9 -&gt; cpphs-1.19
    and haskell-src-exts-1.16.0.1 -&gt; haskell-src-exts-1.19.<br>
    This happened even when I pre-installed the correct versions of
    those dependencies.<br>
    cabal then complains that there is a version conflict and exits with
    an error.<br>
    <br>
    What might fix this?<br>
    <br>
    Thanks,<br>
    <br>
    Byron Hale<br>
    <br>
    <div class="moz-cite-prefix">On 11/26/2014 07:07 AM, Andrés
      Sicard-Ramírez wrote:<br>
    </div>
    <blockquote
cite="mid:CAOUWSGCaKHZhoGKVA=tDcF2ehH8_ycjrLFUcg=Y3Eqj0_P-9Og@mail.gmail.com"
      type="cite">
      <div dir="ltr">
        <div>Hi,<br>
          <br>
          Agda 2.4.2.2 has been released.<br>
          <br>
          This is a bug-fix release fixing compilation on Windows and
          others issues.<br>
          <br>
          <div>The standard library 0.9 type-checks with this version of
            Agda.<br>
          </div>
          <br>
          <div>Download with<br>
            <br>
          </div>
          <div>  cabal update &amp;&amp; cabal install Agda</div>
          <br>
        </div>
        or got to <a moz-do-not-send="true"
          href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download"
          target="_blank">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download</a>
        .<br clear="all">
        <div><br>
          Important changes since Agda <a moz-do-not-send="true"
            href="http://2.4.2.1">2.4.2.1</a>: <a
            moz-do-not-send="true"
            href="https://github.com/agda/agda/blob/2.4.2.2/CHANGELOG">https://github.com/agda/agda/blob/2.4.2.2/CHANGELOG</a>
          .<br>
          <br>
        </div>
        -- <br>
        <div>Andrés, on behalf of the Agda team</div>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
Agda mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
    </blockquote>
    <br>
  </body>
</html>