How to Install and Uninstall gnat-gps-doc Package on Linux Mint 20.3 (Una)

Last updated: November 22,2024

1. Install "gnat-gps-doc" package

This is a short guide on how to install gnat-gps-doc on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gnat-gps-doc
            
                    
    
    Copied

2. Uninstall "gnat-gps-doc" package

Learn how to uninstall gnat-gps-doc on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gnat-gps-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gnat-gps-doc package on Linux Mint 20.3 (Una)

Package: gnat-gps-doc
Architecture: all
Version: 19.2-3ubuntu2
Built-Using: sphinx (= 1.8.5-5)
Multi-Arch: foreign
Priority: optional
Section: universe/doc
Source: gnat-gps
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Ludovic Brenta
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 21042
Depends: libjs-sphinxdoc (>= 1.0)
Recommends: ada-reference-manual-2012
Filename: pool/universe/g/gnat-gps/gnat-gps-doc_19.2-3ubuntu2_all.deb
Size: 15918396
MD5sum: 235b01569efa00e45106026f03344ee8
SHA1: 06a2279c746b257b494b8dc63f0037498252ad59
SHA256: aeb2886be1cff2b7eb7adc4ad2fb45af4fac0e9bb0c907caca089d2ae920390d
Homepage: https://github.com/AdaCore/gps
Description: integrated development environment for C and Ada (documentation)
Description-md5: b6019fe644bdc4031fbf4dd12b950413