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 owner@bugs.debian.org with problems