Source: rocq-stdlib Severity: serious X-Debbugs-Cc: Julien Puydt <[email protected]> Control: affects -1 libcoq-stdlib
https://buildd.debian.org/status/fetch.php?pkg=aac-tactics&arch=ppc64&ver=9.0.0-1&stamp=1761723185&raw=0 ... Unpacking coq (9.1.0+dfsg-1~ppc64) ... ... Unpacking libcoq-stdlib (8.19.1+dfsg-3) ... ... libcoq-stdlib needs automatic generation of some OCaml/Coq dependencies. Technically the lack of dependencies is not a new bug, but when libcoq-stdlib was built from src:coq the dependencies of the coq binary package at least ensured that libcoq-stdlib was rebuilt when necessary. Currently this causes FTBFS in rdeps when the Provides of coq changes.
