How to Install and Uninstall libgnatcoll-gmp17-dev Package on Debian 10 (Buster)

Last updated: December 23,2024

1. Install "libgnatcoll-gmp17-dev" package

Please follow the guidance below to install libgnatcoll-gmp17-dev on Debian 10 (Buster)

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

2. Uninstall "libgnatcoll-gmp17-dev" package

Please follow the instructions below to uninstall libgnatcoll-gmp17-dev on Debian 10 (Buster):

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

3. Information about the libgnatcoll-gmp17-dev package on Debian 10 (Buster)

Package: libgnatcoll-gmp17-dev
Source: libgnatcoll-bindings
Version: 18-2
Installed-Size: 304
Maintainer: Nicolas Boulenguez
Architecture: amd64
Depends: libgmp-dev, libgnatcoll17-dev, gnat, gnat-8, libgnatcoll-gmp18 (= 18-2)
Suggests: libgnatcoll-doc
Description: GNATColl, general purpose Ada library (GMP)
Description-md5: 4b5123c2fe2d34a037bf524dfd2a1943
Homepage: https://www.adacore.com/community
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/libg/libgnatcoll-bindings/libgnatcoll-gmp17-dev_18-2_amd64.deb
Size: 43344
MD5sum: 4936422a68924e1b20da5b5b75b5d59a
SHA256: 6ae4a3b70cee3646d32f599929ac14143e07087d8f4cac87e63691561b0c617b