Control: tag -1 pending Hello,
Bug #995603 in why3 reported by you has been fixed in the Git repository and is awaiting an upload. You can see the commit message below and you can check the diff of the fix at: https://salsa.debian.org/ocaml-team/why3/-/commit/bd3dd90b05c64c1871ce63965580a70a56ec005e ------------------------------------------------------------------------ Add two upstream patches to fix a build failure with new sphinx-bibtex (Closes: #995603) ------------------------------------------------------------------------ (this message was generated automatically) -- Greetings https://bugs.debian.org/995603
