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