» Разработка

Как установить asis-programs в Ubuntu / Debian

Установка:

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

sudo apt update
sudo apt install asis-programs
Dzen
asis-programs — Примеры программ AdS Semantic Interface Specification (ASIS)

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

Примеры программ AdS Semantic Interface Specification (ASIS)

http://libre.adacore.com/libre/tools
, , ,
Источник: packages.ubuntu.com

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

  • gnat

    Компилятор GNU Ada

  • gnat-7

    Компилятор GNU Ada

  • libasis2017

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

  • libc6

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

  • 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)