- use SOLVER_SOLUTION_DISTUPGRADE instead of replacing   package with itself in dup mode
- use SOLVER_SOLUTION_DISTUPGRADE instead of replacing
  package with itself in dup mode

ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver