Bug#709618: camlp5 et al need hinting

["Adam D. Barratt" <adam@adam-barratt.org.uk>]

[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