Hi, On Wed, Jan 15, 2025 at 07:48:11AM +0100, Stéphane Glondu wrote:
> I've reduced the number of missing packages down to 22. Here are the > remaining ones: > > > coccinelle: # make[2]: *** [Makefile:39: manual.pdf] Error 1 > > (lightblue) this certainly is https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1087437 which in unrelated to OCaml. We might just stop to build the pdf documention until this issue is fixed. > > why3: # syntax error due to new "effect" keyword > > (lightblue) there is already a v1.8.0/master branch in the git. However, the package does not build in unstable, due to a problem in building the documentation. Here again we might stop building the doc packages, at least until there is a fix. I will have a look at this in the next days. Cheers -Ralf.
