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 debian-release-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/519f6ea4.6080...@debian.org