Processing control commands: > close -1 8.19.1+dfsg-1 Bug #1072308 [src:coq] src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies Marked as fixed in versions coq/8.19.1+dfsg-1. Bug #1072308 [src:coq] src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies Marked Bug as done
-- 1072308: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1072308 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
