Bug#709618: camlp5 et al need hinting

2013-05-24 Thread Stéphane Glondu
Package: release.debian.org Severity: important Dear Release Managers, Now that glib has migrated, I think that camlp5 [1] and related packages need manual hinting. All the packages listed in the Coq section of [2] need to enter together. [1]

Bug#709618: camlp5 et al need hinting

2013-05-24 Thread Adam D. Barratt
On 2013-05-24 14:03, Stéphane Glondu wrote: Package: release.debian.org Severity: important Really? Dear Release Managers, Now that glib has migrated, I think that camlp5 [1] and related packages need manual hinting. All the packages listed in the Coq section of [2] need to enter together.

Re: Bug#709618: camlp5 et al need hinting

2013-05-24 Thread Stéphane Glondu
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]

Bug#709618: camlp5 et al need hinting

2013-05-24 Thread Adam D. Barratt
[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].