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

Last updated: May 20,2024

1. Install "libgnatcoll-gmp21-dev" package

Please follow the guidelines below to install libgnatcoll-gmp21-dev on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libgnatcoll-gmp21-dev

2. Uninstall "libgnatcoll-gmp21-dev" package

This tutorial shows how to uninstall libgnatcoll-gmp21-dev on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove libgnatcoll-gmp21-dev $ sudo apt autoclean && sudo apt autoremove

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

Package: libgnatcoll-gmp21-dev
Architecture: amd64
Version: 23.0.0-6
Priority: optional
Section: universe/libdevel
Source: libgnatcoll-bindings
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Nicolas Boulenguez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 460
Depends: gnat (<< 13), gnat (>= 12), libgnatcoll-gmp20 (= 23.0.0-6), libgnatcoll21-dev, libgnatprj10-dev, libxmlada-dom12-dev, libxmlada-input12-dev, libxmlada-sax12-dev, libxmlada-schema12-dev, libxmlada-unicode12-dev, libgmp-dev
Breaks: libgnatcoll-gmp17-dev, libgnatcoll-gmp18-dev, libgnatcoll-gmp19-dev, libgnatcoll-gmp20-dev
Replaces: libgnatcoll-gmp17-dev, libgnatcoll-gmp18-dev, libgnatcoll-gmp19-dev, libgnatcoll-gmp20-dev
Filename: pool/universe/libg/libgnatcoll-bindings/libgnatcoll-gmp21-dev_23.0.0-6_amd64.deb
Size: 63238
MD5sum: bb2c19e927695ae2c024038784643028
SHA1: df8ee1e906149f1ce29c0484f0ec7eb6423a4b72
SHA256: fa39e3bd4ce6cb69e70f585f70b26ce65982a2852bf3dc1d7afd93d78e397757
SHA512: 94bf6e294b99d5a5f60149dd252e83b8f41f64a2678385a15dd2b46f5c0fa9c4d4a7046130e4b2d1801cc7a2c01a746ecf582febec7485fc50a9474938127d69
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Description: Ada binding for GMP big numbers (development)
Description-md5: fd21276af43fd168459e18c2876feb2e