[Agda] Installing Agda

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


I've reported this at
http://code.google.com/p/agda/issues/detail?id=683&thanks=683&ts=1344450719

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