<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 -> cpphs-1.19
and haskell-src-exts-1.16.0.1 -> 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 && 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>