Hi, now camlp5 8.* is in unstable the problem occurs ; I'm just waiting for the other b-deps to be available, but I have a commit ready. Cheers, J.Puydt