Julien Puydt Thu, 20 Jan 2022 01:15:13 -0800
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