On 2012-01-10 08:11, Neil P Strickland wrote: > [...] it would be nice if the installer could be fixed. I've reported this issue on the bug tracker: http://code.google.com/p/agda/issues/detail?id=548 -- /NAD