ocaml/opam — pull request #1275 by rdicosmo (2014-03-26 20:23:00+00:00)
Title: Rename no_aspcud to use_internal_solver

Aspcud is just *one* CUDF solver, do not use its name where not needed.