OCamlPro/opam-repository — pull request #866 by dsheets (2013-07-02 19:58:43+00:00)
Title: Remove the coq depopt of frama-c for now

This coq depopt constraint is causing the opam constraint solver to return incorrect answers resulting in widespread build failures. Fixes #865