Processing control commands: > unblock -1 885677 Unknown command or malformed arguments to command.
> forwarded -1 https://github.com/coq/coq/pull/9279 Bug #920589 [coq] coqide is not longer packaged for amd64 Set Bug forwarded-to-address to 'https://github.com/coq/coq/pull/9279'. > tags -1 fixed-upstream Bug #920589 [coq] coqide is not longer packaged for amd64 Added tag(s) fixed-upstream. -- 920589: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=920589 Debian Bug Tracking System Contact [email protected] with problems
