Установка:
Для установки libapron-ocaml в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install libapron-ocaml
Подробная информация о пакете:
Библиотеки времени выполнения для APRON (интерфейс OCaml)