Потому что он не установился, следовательно его нельзя вызвать командой.

Пакет брать ниже

https://pkgs.org/download/libgmp3-dev
Внимательно обращаем на версию для скачивания, в данном случае, думаю, это будет Дебиан 9