<div dir="ltr"><div class="gmail_default" style="font-size:small">Hi,<br><br>In order to build Agda with GHC 7.10.1 RC1, could you upload a new version to Hackage of the boxes library supporting this version of GHC, please.<br><br></div><div class="gmail_default" style="font-size:small">(I saw there is a pull request related to GHC 7.10 in the GitHub repository).<br></div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">Thanks,<br></div><div class="gmail_default" style="font-size:small"><br></div>-- <br><div class="gmail_signature"><div dir="ltr">Andrés<br></div></div>
</div>