OCamlPro/opam — pull request #844 by AltGr (2013-09-17 16:20:12+00:00)
Title: Accept aspcud unsat success

This is experimental, waiting for insight on the possible consequences from the aspcud team.
Without it, the new opam-rt fail (with an ugly error) when aspcud is used.