Processing control commands: > severity -1 serious Bug #1030375 [src:proofgeneral] proofgeneral: FTBFS with TeXInfo 7.0.x Severity set to 'serious' from 'important'
-- 1030375: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1030375 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
