[Recipients fixed up to use the bug, rather than the list]
On 2013-05-24 14:44, Stéphane Glondu wrote:
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
Okay; I've added a removal hint. Barring any new issues, that should
let the packages migrate in the next run.
Regards,
Adam
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
