Darcs.Resolution