
3 Aug
2008
3 Aug
'08
12:36 p.m.
Gwern Branwen
I just darcs get http://darcs.net, so I would guess it was either temporary or a problem on your end.
Seems I needed a newer darcs - the one shipped with Ubuntu is 1.0.9, which appears to be too old, and it works when I build a new 2.0.2 from the tarball. (Anybody with write access to the front page who can make a note of minimum version required to 'darcs get' the repository?) -k -- If I haven't seen further, it is by standing in the footprints of giants