<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 20 June 2014 09:07, Brent Yorgey <span dir="ltr"><<a href="mailto:byorgey@seas.upenn.edu" target="_blank">byorgey@seas.upenn.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id=":259" class="" style="overflow:hidden">I don't understand. What does it mean for Agda 2.4.0.1 to be<br>
"unreleased" if it is on Hackage?<br>
<div class=""></div></div></blockquote></div><br>There are some minor tasks we need to do before announcing the official<br>release (we should have done these tasks before uploading Agda 2.4.0.1<br>to Hackage).<br><br>-- <br>
<div dir="ltr">Andrés<br></div>
</div></div>