Outra solução é usar a ferramenta apt-file
:
-
Instale-o usando:
$ sudo apt-get update && sudo apt-get install apt-file
-
Atualize seu banco de dados:
$ sudo apt-file update
-
Procure o arquivo desejado:
$ sudo apt-file search /usr/lib32/libstdc++.so.6
O resultado deve ser:
$ apt-file search /usr/lib32/libstdc++.so.6
lib32stdc++6: /usr/lib32/libstdc++.so.6
lib32stdc++6: /usr/lib32/libstdc++.so.6.0.21
lib32stdc++6: /usr/share/gdb/auto-load/usr/lib32/libstdc++.so.6.0.21-gdb.py
lib32stdc++6-5-dbg: /usr/lib/debug/usr/lib32/libstdc++.so.6.0.21
/usr/lib32/libstdc++.so.6
O que nos leva a saber que o pacote instalado deve ser lib32stdc++6
.