XPost: linux.debian.maint.ocaml.maint   
   From: bunk@debian.org   
      
   Source: rocq-stdlib   
   Severity: serious   
   X-Debbugs-Cc: Julien Puydt    
   Control: affects -1 libcoq-stdlib   
      
   https://buildd.debian.org/status/fetch.php?pkg=aac-tactics&arch=   
   pc64&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.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)