Bug#999651: marked as pending in coq

Control: tag -1 pending Hello, Bug #999651 in coq 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/coq/-/commit/8f166a65fea73b7ee1d8b2de0acf309d29e9d2

Processed: Bug#999651 marked as pending in coq

Processing control commands: > tag -1 pending Bug #999651 [src:coq] coq FTBFS on bytecode architectures Added tag(s) pending. -- 999651: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=999651 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems