<div dir="ltr">None at all: it was just the version required at the time when I<div>summed up the process.</div><div class="gmail_extra"><br clear="all"><div>--<br>gallais</div>
<br><br><div class="gmail_quote">On 25 April 2013 14:51, Nils Anders Danielsson <span dir="ltr"><<a href="mailto:nad@cse.gu.se" target="_blank">nad@cse.gu.se</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 2013-04-25 15:02, Martin Escardo wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
cabal install happy alex haskell-src-exts-1.9.6 Agda<br>
</blockquote>
<br></div>
I don't think you need to include "haskell-src-exts-1.9.6" in this<br>
command.<br>
<br>
Guillame, what was the reason for requiring that a specific version of<br>
haskell-src-exts should be installed?<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Will I have problems with the haskell-src-exts-1.9.6 failure?<br>
</blockquote>
<br></div>
I don't think so.<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
/NAD<br>
</font></span></blockquote></div><br></div></div>