Processed (with 1 error): CoqIDE supports GTK 3
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 owner@bugs.debian.org with problems
Reply to: