[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