[Agda] Installing Agda

Nils Anders Danielsson nad at chalmers.se
Wed Aug 8 10:53:03 CEST 2012

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.


More information about the Agda mailing list