Processing control commands: > tags 827861 wontfix Bug #827861 [coq] Please add coq-8.5 to jessie-backports Added tag(s) wontfix.
-- 827861: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=827861 Debian Bug Tracking System Contact [email protected] with problems
