[slime-devel] darcs repo