Мониторы теряют связь с док-станцией Dell

Вы можете перечислить все установленные пакеты через dpkg, как это

dpkg -l

Затем вы можете передать это через grep, чтобы найти только то, что вам интересно:

dpkg -l | grep libgmp10

Или вы можете быть менее конкретным в своем grep

dpkg -l | grep libgmp

Grep найдет любую строку на выходе с этой строкой.

Установка также проста

sudo apt-get install <package>

Не знаете имя пакета? Вкладка завершает работу в команде установки apt-get, или вы можете использовать:

sudo apt-cache search <string>