Processing control commands: > close -1 8.16.1+dfsg-1 Bug #1070920 [src:coq] coq: FTBFS in bullseye Marked as fixed in versions coq/8.16.1+dfsg-1. Bug #1070920 [src:coq] coq: FTBFS in bullseye Marked Bug as done -- 1070920: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1070920 Debian Bug Tracking System Contact owner@bugs.debian.org with problems