Установка:

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

sudo apt update
sudo apt install libapron-dev
libapron-dev — библиотека абстрактной интерпретации

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

Библиотека абстрактной интерпретации

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

  • libgmp3-dev

    Инструменты разработчиков многоарифметической библиотеки

  • libmpfr-dev

    Инструменты разработки вычислений с плавающей запятой с высокой точностью

  • libppl-dev

    Парме Многогранная библиотека (разработка)

  • libapron