Processed: dpkg-query -l pattern matching buggy; lists too few
Processing commands for control@bugs.debian.org:
> 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)
Reply to: