[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