How to Install and Uninstall gprbuild-doc Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 03,2024

1. Install "gprbuild-doc" package

Please follow the steps below to install gprbuild-doc on Ubuntu 22.10 (Kinetic Kudu)

$ sudo apt update $ sudo apt install gprbuild-doc

2. Uninstall "gprbuild-doc" package

This tutorial shows how to uninstall gprbuild-doc on Ubuntu 22.10 (Kinetic Kudu):

$ sudo apt remove gprbuild-doc $ sudo apt autoclean && sudo apt autoremove

3. Information about the gprbuild-doc package on Ubuntu 22.10 (Kinetic Kudu)

Package: gprbuild-doc
Architecture: all
Version: 2022.0.0-9
Built-Using: sphinx (= 4.5.0-4)
Multi-Arch: foreign
Priority: optional
Section: universe/doc
Source: gprbuild
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Nicolas Boulenguez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2103
Depends: libjs-sphinxdoc (>= 4.3)
Suggests: gprbuild
Breaks: gprbuild (<< 2021.0.0.0778b109-1)
Replaces: gprbuild (<< 2021.0.0.0778b109-1)
Filename: pool/universe/g/gprbuild/gprbuild-doc_2022.0.0-9_all.deb
Size: 929380
MD5sum: 9979caf685d02538bd2e46ddf3073c86
SHA1: 56a31cc930952ce1f148818557c157ef7a6d0bcb
SHA256: 427e05acdfe0c6ef082ebfa849cba54f515625489c21966d8a7391b0faf1352f
SHA512: 9087c317f5180e67f6e4e0c3fb6e7a522d0d9c85253ece9ba986e8e7936c6376d716be0db6c90523fb8c2a38c86f402ea3d4c841527ad266cd8d9ff4a144a221
Homepage: https://github.com/AdaCore/gprbuild
Description: multi-language extensible build tool (documentation)
Description-md5: ce55a9d70218721427625dfec46bb041