Processing control commands: > block -1 by 885677 Bug #920589 [coq] coqide is not longer packaged for amd64 920589 was not blocked by any bugs. 920589 was not blocking any bugs. Added blocking bug(s) of 920589: 885677 -- 920589: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=920589 Debian Bug Tracking System Contact owner@bugs.debian.org with problems