[Agda] Installing Agda

[Nils Anders Danielsson]

On 2012-08-06 02:53, Jason Gross wrote:
> Thanks. I ended up getting the pre-built windows installer to work;
> the problem was that the installer was downloading to %Temp%, which is
> on my C:\ drive, and running out of space before it finished
> extracting/moving things to the final installation directory. Is there
> a reason it downloads to %Temp% rather than the install directory?

Please report this issue on the bug tracker, so that the information is
available if and when another version of the installer is made.

-- 
/NAD