How to Install and Uninstall gprbuild-doc Package on Debian 12 (Bookworm)

Last updated: May 17,2024

You can also install and uninstall the gprbuild-doc on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "gprbuild-doc" package

Here is a brief guide to show you how to install gprbuild-doc on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gprbuild-doc
            
                    
    
    Copied

2. Uninstall "gprbuild-doc" package

In this section, we are going to explain the necessary steps to uninstall gprbuild-doc on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gprbuild-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gprbuild-doc package on Debian 12 (Bookworm)

Package: gprbuild-doc
Source: gprbuild
Version: 2023.0.0-3
Installed-Size: 2124
Maintainer: Nicolas Boulenguez
Architecture: all
Replaces: gprbuild (<< 2021.0.0.0778b109-1)
Depends: libjs-sphinxdoc (>= 5.2)
Suggests: gprbuild
Breaks: gprbuild (<< 2021.0.0.0778b109-1)
Description: multi-language extensible build tool (documentation)
Description-md5: ce55a9d70218721427625dfec46bb041
Multi-Arch: foreign
Homepage: https://github.com/AdaCore/gprbuild
Built-Using: sphinx (= 5.3.0-4)
Tag: devel::doc, devel::examples, devel::lang:ada, devel::lang:c,
devel::lang:c++, devel::lang:fortran, devel::library,
implemented-in::c, made-of::html, made-of::info, made-of::pdf,
role::devel-lib, role::documentation
Section: doc
Priority: optional
Filename: pool/main/g/gprbuild/gprbuild-doc_2023.0.0-3_all.deb
Size: 931512
MD5sum: eea68b2c11e36f759d0efee45f3fbf09
SHA256: 20de67fa61cd082e37a31389a74602092a2af667f8acced9dc79f296c1ef817a