[Agda] Installing Agda

Jason Gross jasongross9 at gmail.com
Wed Aug 8 20:32:53 CEST 2012

I've reported this at

On Wed, Aug 8, 2012 at 4:53 AM, Nils Anders Danielsson <nad at chalmers.se>wrote:

> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120808/7456d791/attachment.html

More information about the Agda mailing list