I've reported this at <a href="http://code.google.com/p/agda/issues/detail?id=683&thanks=683&ts=1344450719">http://code.google.com/p/agda/issues/detail?id=683&thanks=683&ts=1344450719</a><br><br><div class="gmail_quote">
On Wed, Aug 8, 2012 at 4:53 AM, Nils Anders Danielsson <span dir="ltr"><<a href="mailto:nad@chalmers.se" target="_blank">nad@chalmers.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 2012-08-06 02:53, Jason Gross wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Thanks. I ended up getting the pre-built windows installer to work;<br>
the problem was that the installer was downloading to %Temp%, which is<br>
on my C:\ drive, and running out of space before it finished<br>
extracting/moving things to the final installation directory. Is there<br>
a reason it downloads to %Temp% rather than the install directory?<br>
</blockquote>
<br></div>
Please report this issue on the bug tracker, so that the information is<br>
available if and when another version of the installer is made.<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
/NAD<br>
</font></span></blockquote></div><br>