ocaml/opam — pull request #1200 by rdicosmo (2014-02-25 20:19:50+00:00)
Title: Streamline external solver criteria

Aligned dose patches in src_ext with those in dose.3.1.2
Added help entry for OPAMCRITERIA
Changed default solver criteria to avoid downgrades, and stay compatible with old aspcud.