reassign 275983 dpkg retitle 275983 "dpkg-query -l" pattern matching buggy; lists too few thanks On my system, "dpkg-query -l '*coq*'" misses the (non-installed) package coq7-libs. The *coq* pattern should match coq7-libs. -- Lionel