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.