Bug#995603: marked as pending in why3

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/bd3dd90b05c64c1871ce63965580a70a56ec

Processed: Bug#995603 marked as pending in why3

Processing control commands: > tag -1 pending Bug #995603 [src:why3] FTBFS: pdflatex fails with no message Added tag(s) pending. -- 995603: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=995603 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems