Processing control commands: > tag -1 pending Bug #956674 [src:prooftree] prooftree must build depend on coq Added tag(s) pending.
-- 956674: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=956674 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
