Processing commands for [email protected]: > tags 946580 + pending Bug #946580 [coq] No coqidetop in coq package breaks editor plugins Added tag(s) pending. > thanks Stopping processing here.
Please contact me if you need assistance. -- 946580: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=946580 Debian Bug Tracking System Contact [email protected] with problems
