[Agda] Problem when getting the Standard Library

Dirk Ullrich dirk.ullrich at googlemail.com
Sat Jan 29 10:39:31 CET 2011


Hi,

when I try to get a frech copy of the development version of Agda's
Standard Library by

darcs get --lazy http://www.cs.nott.ac.uk/~nad/repos/lib

I get an error like:

darcs failed:  Couldn't fetch
`0000001220-c45ae47de2eafb7a442b11ab6ba491598d042f46bf778e00443b5a1212d06898'
...

When browsing into the `patches' sub directory of `_darcs' at the
server I indeed cannot see this patch.

Dirk


More information about the Agda mailing list