How to Install and Uninstall gnat-gps-doc Package on Debian 10 (Buster)

Last updated: October 06,2024

1. Install "gnat-gps-doc" package

Please follow the guidance below to install gnat-gps-doc on Debian 10 (Buster)

$ sudo apt update $ sudo apt install gnat-gps-doc

2. Uninstall "gnat-gps-doc" package

In this section, we are going to explain the necessary steps to uninstall gnat-gps-doc on Debian 10 (Buster):

$ sudo apt remove gnat-gps-doc $ sudo apt autoclean && sudo apt autoremove

3. Information about the gnat-gps-doc package on Debian 10 (Buster)

Package: gnat-gps-doc
Source: gnat-gps
Version: 18-5
Installed-Size: 21063
Maintainer: Ludovic Brenta
Architecture: all
Depends: libjs-sphinxdoc (>= 1.0)
Recommends: ada-reference-manual-2012
Description: integrated development environment for C and Ada (documentation)
Description-md5: b6019fe644bdc4031fbf4dd12b950413
Multi-Arch: foreign
Homepage: https://www.adacore.com/community
Built-Using: sphinx (= 1.7.9-1)
Tag: devel::doc, devel::ide, devel::lang:ada, devel::lang:c, devel::library,
implemented-in::c, made-of::html, made-of::info, made-of::postscript,
role::devel-lib, role::documentation, role::program
Section: doc
Priority: optional
Filename: pool/main/g/gnat-gps/gnat-gps-doc_18-5_all.deb
Size: 16032872
MD5sum: 2e776836b257b4413a7ca254af46be89
SHA256: e40671eb33053c5ce1be8ec4d9a07f7026968d0bc937bfa954eae049aa9086c1