| Hmmm.  Yes, that does seem to eliminate the possibility of this being a
| transport issue, which only makes it more puzzling.  You aren't running out
| of disk space, are you? (To ask the obvious...)

No, 37Gbyte free.

| Just to be clear: does darcs check pass on the local HEAD repo that you get
| the error when pulling from?

Alas, I can't do that!  Remember, a different Darcs bug means that one cannot pull, or check, a full GHC repo from scratch.  Something to do with line endings I believe. That's why we always have to start from a tar ball.  Alas.

Simon