Add support for opam-0install-cudf 0.5.0#6130

Merged

kit-ty-kate merged 2 commits intoocaml:masterfrom kit-ty-kate:0install-cudf-0.5.0

Aug 20, 2024

+204-111

Commits on Aug 20, 2024

solver: Move OpamBuiltinZ3.Syntax to a new OpamCudfCriteria module

kit-ty-kate
authored and
rjbou
committed
solver: Add support for opam-0install-cudf 0.5.0 and bump dependency version

kit-ty-kate
authored and
rjbou
committed