Установка: Для установки libpolyml9 в Ubuntu / Linux Mint, введите в Терминал: sudo apt update sudo apt install libpolyml9 Настроить APT Настроить команду APT Выберите действие: Установить Переустановить Удалить пакет Удалить пакет со всеми настройками Дополнительные опции: Автоподтверждение действий [-y] Исправить зависимости пакета [-f] Установить только обязательные пакеты [--no-install-recommends] Копировать Сбросить Подробная информация о пакете: Файлы времени исполнения для Poly / ML, компилятор для стандартного ML http://www.polyml.org Декабрь 2018 Источник: packages.ubuntu.com Навигация по записям libpolyorb5libpolyorb5libpolymake3.2libpolymake3.2 Зависимости: libc6 Библиотека GNU C: общие библиотеки libffi6 Время работы библиотеки интерфейса внешней функциональности libgcc1 Библиотека поддержки GCC libstdc++6 Открыть список
