Pour les possesseurs de distributions type debian, il vous suffit d’installer le paquet apt-file.
Puis d’updater la liste des fichiers :
sudo apt-file update
Et enfin, à n’importe quel moment rechercher le paquet contenant tel ou tel fichier :
apt-file search ifconfig
apt-file search /usr/lib/libxmi.so.0