Processed: CoqIDE supports lablgtk3
Processing commands for control@bugs.debian.org:
> 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 owner@bugs.debian.org with problems
Reply to: