Muchas gracias, apt-file es lo que yo buscaba, la página web de debian tambien es funcional para ello. dpkg -S ya lo habia probado pero solo vale para los paquetes ya instalados. Saludos, Miguel