<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 25 September 2014 06:49, Jan Stolarek <span dir="ltr"><<a href="mailto:jan.stolarek@p.lodz.pl" target="_blank">jan.stolarek@p.lodz.pl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">> The latest version of Agda in Hackage works with GHC 7.8.3.<br>
</span>Not for me. :-(</blockquote></div><br></div><div class="gmail_extra">I cannot help without more information.<br></div><div class="gmail_extra"><br>-- <br><div dir="ltr">Andrés<br></div>
</div></div>