Установка:
Для установки libgnatcoll-gmp17.0.2017 в Ubuntu / Linux Mint, введите в Терминал:
sudo apt update
sudo apt install libgnatcoll-gmp17.0.2017
Подробная информация о пакете:
GNATColl, общая библиотека Ada (время выполнения GMP)