Skip to content
Unverified Commit 25eeca26 authored by nicoo's avatar nicoo
Browse files

Remove dependency on external CUDF solvers 

OPAM is already built with an internal solver, which we prefer.

Closes: #908203, #907636
parent 82ff65c8
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment