How to Install and Uninstall libgnatprj10-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 19,2024

1. Install "libgnatprj10-dev" package

This guide let you learn how to install libgnatprj10-dev on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libgnatprj10-dev

2. Uninstall "libgnatprj10-dev" package

This guide covers the steps necessary to uninstall libgnatprj10-dev on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove libgnatprj10-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libgnatprj10-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libgnatprj10-dev
Architecture: amd64
Version: 2023.0.0-3
Priority: optional
Section: universe/libdevel
Source: gprbuild
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Nicolas Boulenguez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 15454
Depends: gnat (<< 13), gnat (>= 12), libgnatprj10 (= 2023.0.0-3), libxmlada-dom12-dev, libxmlada-input12-dev, libxmlada-sax12-dev, libxmlada-schema12-dev
Suggests: gprbuild-doc
Breaks: libgnatprj7-dev, libgnatprj8-dev, libgnatprj9-dev
Replaces: libgnatprj7-dev, libgnatprj8-dev, libgnatprj9-dev
Filename: pool/universe/g/gprbuild/libgnatprj10-dev_2023.0.0-3_amd64.deb
Size: 2326860
MD5sum: acb425f466f660a3789b90b85f1a8666
SHA1: 5553fdad5a789b3bab99b5d760788fac182a1b65
SHA256: 8b9132435978b3a3d24d0e5d2f1568d79164dbd38aa944d6770e14f5f1b13704
SHA512: 08ade2e3e59e712736fe4d1a58e8374b848aac355bd6f04e32a9643430099137563cda988c3f22e35ae642165d10acb86c566c6222e65fd080094fe417e4ec67
Homepage: https://github.com/AdaCore/gprbuild
Description: support for programs processing GNAT projects (development)
Description-md5: 0312c686dd6f58d9fd3e8c1000d21285