Установка:

Для установки libapron-ocaml в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install libapron-ocaml
libapron-ocaml — библиотеки времени выполнения для APRON (интерфейс OCaml)

Подробная информация о пакете:

Библиотеки времени выполнения для APRON (интерфейс OCaml)

  • Зависимости:

  • libc6

    Библиотека GNU C: общие библиотеки

  • libgmp10

    Многоточечная арифметическая библиотека

  • libmpfr6

    Многоточечная вычисление с плавающей запятой

  • libapron

  • ocaml-base-nox-4.05.0