Установка:
Для установки libasis2017 в Ubuntu / Linux Mint, введите в Терминал:
sudo apt update
sudo apt install libasis2017
Подробная информация о пакете:
Библиотека времени выполнения спецификации семантики Ada (ASIS)