How to Install and Uninstall gnat-gps-doc Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: September 28,2024

1. Install "gnat-gps-doc" package

Please follow the guidance below to install gnat-gps-doc on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gnat-gps-doc
            
                    
    
    Copied

2. Uninstall "gnat-gps-doc" package

This tutorial shows how to uninstall gnat-gps-doc on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gnat-gps-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gnat-gps-doc package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: gnat-gps-doc
Priority: optional
Section: universe/doc
Installed-Size: 13163
Maintainer: Ubuntu Developers
Original-Maintainer: Ludovic Brenta
Architecture: all
Source: gnat-gps
Version: 5.3dfsg-1ubuntu1
Depends: libjs-sphinxdoc (>= 1.0)
Recommends: ada-reference-manual-2012, gprbuild-doc
Filename: pool/universe/g/gnat-gps/gnat-gps-doc_5.3dfsg-1ubuntu1_all.deb
Size: 9097196
MD5sum: 194d12055adfbb54f540d5800ad63b5d
SHA1: f3724d03ced48349158193f17f68e3c9c7cfd8eb
SHA256: 722ed189a079ebc2dc4ae73aeaf0d83ceffc511ab2a30f63e6725b564ab2fc80
Description-en: integrated development environment for C and Ada (documentation)
GNAT Programming Studio is a complete integrated development environment
that gives access to a wide range of tools and integrates them smoothly.
.
This package contains the documentation in ASCII, Info, HTML and
PostScript formats. This documentation consists of:
.
- the GPS Tutorial: building Hello, World with the GPS
- a User's Guide: using the GPS for multi-language projects
- a Programmer's Manual: extending the GPS with new modules
Description-md5: fce1e78769d4732c5c603fa0bc58c060
Homepage: http://libre.adacore.com/libre/tools/gps
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu