Processed: Bug#1005254 marked as pending in ssreflect

Processing control commands: > tag -1 pending Bug #1005254 [src:ssreflect] libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces: libssreflect-coq (<< 1.14.0-4) Added tag(s) pending. -- 1005254: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005254 Debian Bug Tracking System Contact ow

Bug#1005254: marked as pending in ssreflect

Control: tag -1 pending Hello, Bug #1005254 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/135badc62bb84d96e58688788