» Документация

Как установить gnat-gps-doc в Ubuntu / Debian

Установка:

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

sudo apt update
sudo apt install gnat-gps-doc
Dzen
gnat-gps-doc — интегрированная среда разработки для C и Ada (документация)

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

Интегрированная среда разработки для C и Ada (документация)

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

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

  • libjs-sphinxdoc

    Поддержка JavaScript для документации Sphinx