Processing control commands: > tag -1 pending Bug #1005920 [src:coq-doc] coq-doc: FTBFS: Error: Library "zarith" not found. Added tag(s) pending. -- 1005920: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005920 Debian Bug Tracking System Contact owner@bugs.debian.org with problems