How to Install and Uninstall libgnatcoll-gmp20-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 22,2024

1. Install "libgnatcoll-gmp20-dev" package

Here is a brief guide to show you how to install libgnatcoll-gmp20-dev on Ubuntu 22.10 (Kinetic Kudu)

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

2. Uninstall "libgnatcoll-gmp20-dev" package

This guide let you learn how to uninstall libgnatcoll-gmp20-dev on Ubuntu 22.10 (Kinetic Kudu):

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

3. Information about the libgnatcoll-gmp20-dev package on Ubuntu 22.10 (Kinetic Kudu)

Package: libgnatcoll-gmp20-dev
Architecture: amd64
Version: 22.0.0-4
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: 337
Depends: libgnatcoll20-dev, libgmp-dev, gnat (>= 11), gnat (<< 12), libgnatcoll-gmp20 (= 22.0.0-4)
Filename: pool/universe/libg/libgnatcoll-bindings/libgnatcoll-gmp20-dev_22.0.0-4_amd64.deb
Size: 46502
MD5sum: d650196121d48da45642cfc5ee2edc67
SHA1: 90fac8dc6bfa99998e53efdc68aa528503a0db5a
SHA256: 4858bb11daff05c511ddd570f5408843a8cecf0703d78d65c3a8fa54775cee1d
SHA512: c40721d907764783d53b527f041fec989e1f0fada899be5bf8b25fe006ecba77a256ac46ae2b73cd869335785d207d1a69aab3139d345edfdd6ef969b48459b6
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Description: Ada binding for GMP big numbers (development)
Description-md5: fd21276af43fd168459e18c2876feb2e

5. The same packages on other Linux Distributions