opam 2.1’s CUDF trimming has in many (but not all) cases reduced internal opam solver failure.
Related PR: Internal opam solver failure · Issue #3447 · ocaml/opam · GitHub