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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
