update from darcs repo