Обновляем кеш пакетов, потом ищем:
sudo apt-cache search php-mongo
в моём случае выдал:
php-mongodb - MongoDB driver for PHP
php-mongo - MongoDB database driver
Смотрим есть ли во втором пакет для php7 (в первом не оказалось в моём случае):
apt-cache show php-mongodb | grep php7
Оказывается есть и для 7.2, посмотрим откуда пойдёт установка:
