[Agda] Re: Problem when getting the Standard Library

[Nils Anders Danielsson]

On 2011-01-31 12:07, awson wrote:
> Same for http://www.cse.chalmers.se/~nad/repos/Agda and
> http://www.cse.chalmers.se/~nad/repos/equality.

Permission problems. Fixed now, but I don't see why darcs writes things
with the wrong permissions set. Can anyone enlighten me? The umask seems
to be correct:

$ umask -S
u=rwx,g=rx,o=rx

-- 
/NAD