check-enhancements.1
checkrestart.1
debget.1
debman.1
debmany/man/debmany.1
debmany/man/debmany.de.1
dglob.1
dgrep.1
dhomepage.1
dpigs.1
popbugs.1
which-pkg-broke.1
