Установка:

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

sudo apt update
sudo apt install adacontrol
adacontrol — Контроллер правил Ada

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

Контроллер правил Ada

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

  • libasis2017

    Библиотека времени выполнения спецификации семантики Ada (ASIS)

  • libc6

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

  • libgcc1

    Библиотека поддержки GCC

  • libgnat-7

    Runtime для приложений, скомпилированных с GNAT (разделяемая библиотека)

  • libgnatcoll16.1.0

    GNATColl, библиотека Ada общего назначения (среда выполнения)

  • libgnatvsn7

    Выбранные компоненты GNU Ada (общая библиотека)

  • libgpr16.1.2016

    Поддержка программ, обрабатывающих проекты GNAT (время выполнения)

  • libxmlada-dom4.6

    XML / Ada, полный набор XML для программистов Ada (dom runtime)

  • libxmlada-input4.6

    XML / Ada, полный набор XML для программистов Ada (среда выполнения исходных источников)

  • libxmlada-sax4.6.2016

    XML / Ada, полный набор XML для программистов Ada (время выполнения sax)

  • libxmlada-schema4.6.2016

    XML / Ada, полный набор XML для программистов Ada (время выполнения схемы)

  • libxmlada-unicode4.6.2016

    XML / Ada, полный набор XML для программистов Ada (время выполнения Unicode)