Processing control commands: > tags -1 patch pending Bug #880285 [src:proofgeneral] proofgeneral: FTBFS: build-dependency not installable: emacs24 Added tag(s) patch and pending.
-- 880285: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=880285 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
