Processing control commands: > tag -1 pending Bug #973721 [libssreflect-coq] libssreflect-coq: Depends: coq-8.12.0+4.08.1 but it is not installable Added tag(s) pending. -- 973721: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=973721 Debian Bug Tracking System Contact owner@bugs.debian.org with problems