Le 24/05/2013 15:15, Adam D. Barratt a écrit : > Looking at the dependencies, I guess why needs rebuilding against the > new coq, or removing? Removing, because of #707585, as said in [1]. With Mehdi's approval (he is why's maintainer). [1] https://wiki.debian.org/Teams/OCamlTaskForce/OCamlTransitions Cheers, -- Stéphane