How to Install and Uninstall libgnatcoll-gmp20-dev Package on Kali Linux

Last updated: June 05,2024

1. Install "libgnatcoll-gmp20-dev" package

Please follow the steps below to install libgnatcoll-gmp20-dev on Kali Linux

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

2. Uninstall "libgnatcoll-gmp20-dev" package

Here is a brief guide to show you how to uninstall libgnatcoll-gmp20-dev on Kali Linux:

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

3. Information about the libgnatcoll-gmp20-dev package on Kali Linux

Package: libgnatcoll-gmp20-dev
Source: libgnatcoll-bindings
Version: 22.0.0-4
Installed-Size: 337
Maintainer: Nicolas Boulenguez
Architecture: amd64
Depends: libgnatcoll20-dev, libgmp-dev, gnat (>= 11), gnat (<< 12), libgnatcoll-gmp20 (= 22.0.0-4)
Size: 47496
SHA256: d62719e561701727a13b2fcd47cacf2db8485e821328538f441f628e27e2c192
SHA1: 9cf8475973d96c83fd2b030f3a5d100acbd0bf50
MD5sum: 87fa17e5667a4a5226fa5ae07406e730
Description: Ada binding for GMP big numbers (development)
The GNAT Component Collection deals with: module tracing, efficient
file IO, static string searching (Boyer-Moore), e-mails and
mailboxes, Ravenscar tasking profiles, storage pools, JSON, logging,
shell scripting. Components relying on external dependencies are
distributed in separate packages.
.
This package contains the static library and Ada specifications
for a binding with the GNU Multiple Precision arithmetic C library.
Description-md5: fd21276af43fd168459e18c2876feb2e
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Section: libdevel
Priority: optional
Filename: pool/main/libg/libgnatcoll-bindings/libgnatcoll-gmp20-dev_22.0.0-4_amd64.deb

5. The same packages on other Linux Distributions