I don't have an answer for you, but maybe as a general point, it might be useful to have a developer's FAQ page on the darcs wiki: http://darcs.net/DarcsWiki/DeveloperFAQ Maybe you could put a note there when you find out? -- Eric Kow http://www.loria.fr/~kow PGP Key ID: 08AC04F9 Merci de corriger mon français.