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