Установка:
Для установки libpolyml-dev в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install libpolyml-dev
Подробная информация о пакете:
Файлы разработки для Poly /ML, компилятор для стандартного ML
-
Зависимости:
-
Файлы времени исполнения для Poly / ML, компилятор для стандартного ML