Processing commands for control@bugs.debian.org: > # Automatically generated email from bts, devscripts version 2.10.6 > tags 435023 - moreinfo Bug#435023: coq: probably needs to depend on emacsen-common Tags were: moreinfo Tags removed: moreinfo > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)