<div dir="ltr"><div class="gmail_quote"><div dir="ltr">Hi,<br><br>Agda 2.4.2.1 has been released.<br clear="all"><div><br></div><div>Download with<br><br></div><div>  cabal update &amp;&amp; cabal install Agda<br><br></div><div>or go to <a 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></div><div><br></div><div>Important changes since Agda 2.4.2: <a href="https://github.com/agda/agda/blob/2.4.2.1/CHANGELOG" target="_blank">https://github.com/agda/agda/blob/2.4.2.1/CHANGELOG</a>.<span><font color="#888888"><br></font></span></div><span></span><br></div></div>-- <br><div><div dir="ltr">Andrés, on behalf of the <span>Agda </span>team<span><font color="#888888"><div></div></font></span></div></div>
</div>