Processing commands for control@bugs.debian.org: > 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 owner@bugs.debian.org with problems