[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: