Processing commands for control@bugs.debian.org: > package aptitude Ignoring bugs not assigned to: aptitude > reassign 517107 coq Bug#517107: aptitude installed coq with unmet dependencies Bug reassigned from package `aptitude' to `coq'. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)