Hi, There seems to be a problem with your linux binaries: the link referenced gives a 404 error. http://teratorn.org/code/darcs-2.8.0-linux-ghc7.0.4-CURL-packed.by.ermine.tar.bz2 Cheers, Pierre-Étienne Meunier