Processed: Bug#1005920 marked as pending in coq-doc

2022-02-22 Thread Debian Bug Tracking System
Processing control commands: > tag -1 pending Bug #1005920 [src:coq-doc] coq-doc: FTBFS: Error: Library "zarith" not found. Added tag(s) pending. -- 1005920: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005920 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1005920: marked as pending in coq-doc

2022-02-22 Thread Julien Puydt
Control: tag -1 pending Hello, Bug #1005920 in coq-doc 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-doc/-/commit/3008fb4bc49395c2ec746e6432b61

Processed: Bug#1005920 marked as pending in coq-doc

2022-02-17 Thread Debian Bug Tracking System
Processing control commands: > tag -1 pending Bug #1005920 [src:coq-doc] coq-doc: FTBFS: Error: Library "zarith" not found. Added tag(s) pending. -- 1005920: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005920 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1005920: marked as pending in coq-doc

2022-02-17 Thread Julien Puydt
Control: tag -1 pending Hello, Bug #1005920 in coq-doc 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-doc/-/commit/d5b32b6c0fe472dc5ab16bae20201