Diff opam-solver-2.0.10 with a opam-solver-2.1.2

Thank you!