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

Last updated: February 24,2025

1. Install "gnat-gps-doc" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gnat-gps-doc
            
                    
    
    Copied

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
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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