» Библиотеки для разработки

Как установить libgnatcoll-gmp16.1.0-dev в Ubuntu

Установка:

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

sudo apt update
sudo apt install libgnatcoll-gmp16.1.0-dev

Настроить команду APT

libgnatcoll-gmp16.1.0-dev — GNATColl, библиотека Ada общего назначения (GMP)

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

GNATColl, библиотека Ada общего назначения (GMP)

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

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

  • gnat

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

  • gnat-7

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

  • libgmp-dev

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

  • libgnatcoll-gmp17.0.2017

    GNATColl, общая библиотека Ada (время выполнения GMP)

  • libgnatcoll16.1.0-dev

    GNATColl, библиотека Ada общего назначения