Bug#1003797: marked as pending in ssreflect

Control: tag -1 pending Hello, Bug #1003797 in ssreflect 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/ssreflect/-/commit/6f28d0d38469c8c2ab1c7f6d7

Processed: Bug#1003797 marked as pending in ssreflect

Processing control commands: > tag -1 pending Bug #1003797 [libssreflect-coq] libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable Added tag(s) pending. -- 1003797: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003797 Debian Bug Tracking System Contact ow...@bugs.debian.o