Processing commands for [EMAIL PROTECTED]: > reassign 275983 dpkg Bug#275983: "coqc -v7" doesn't work; missing v7 library Bug reassigned from package `coq' to `dpkg'.
> retitle 275983 "dpkg-query -l" pattern matching buggy; lists too few Bug#275983: "coqc -v7" doesn't work; missing v7 library Changed Bug title. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)
