Processing commands for [email protected]: > unblock 920589 by 885677 Bug #920589 [coq] coqide is not longer packaged for amd64 920589 was blocked by: 885677 920589 was not blocking any bugs. Removed blocking bug(s) of 920589: 885677 > thanks Stopping processing here.
Please contact me if you need assistance. -- 920589: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=920589 Debian Bug Tracking System Contact [email protected] with problems
