Implement the `depresolve` sub-command.