Processing control commands: > tag -1 pending Bug #1003539 [coq-doc] coq-doc: several releases behind coq Added tag(s) pending.
-- 1003539: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003539 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems