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]
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.
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]
[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].
4 matches
Mail list logo