How to Install and Uninstall libgmp-ocaml-dev Package on Ubuntu 21.10 (Impish Indri)

Last updated: December 23,2024

1. Install "libgmp-ocaml-dev" package

This guide covers the steps necessary to install libgmp-ocaml-dev on Ubuntu 21.10 (Impish Indri)

$ sudo apt update $ sudo apt install libgmp-ocaml-dev

2. Uninstall "libgmp-ocaml-dev" package

Please follow the step by step instructions below to uninstall libgmp-ocaml-dev on Ubuntu 21.10 (Impish Indri):

$ sudo apt remove libgmp-ocaml-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libgmp-ocaml-dev package on Ubuntu 21.10 (Impish Indri)

Package: libgmp-ocaml-dev
Architecture: amd64
Version: 20021123-21build1
Priority: optional
Section: universe/devel
Source: mlgmp
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 782
Provides: libgmp-ocaml-dev-0gzr8
Depends: libgmp-ocaml-0gzr8, ocaml-nox-4.11.1, libgmp3-dev
Recommends: ocaml-findlib
Filename: pool/universe/m/mlgmp/libgmp-ocaml-dev_20021123-21build1_amd64.deb
Size: 84712
MD5sum: d9430ec64137e7542ccc67ba961bcebd
SHA1: 5c48f7a8739f36a8a26581a19ba7e513af095e7e
SHA256: 73583f57cd400f0500ddeab881978db5f2b2eaa564de21c0a9c0751ee3f25a47
SHA512: ba87170f8861201164940b06c1d78e2141008987ed5f15255f85d635072d53930c2aec264fd88336582f24432018a05b83c1f74ea7b6cc1fd623565274abc962
Homepage: http://www-verimag.imag.fr/~monniaux/download/
Description-en: OCaml bindings for the GNU multiprecision arithmetic library (dev)
This package provides bindings for the GNU multiprecision library
(GNU MP) for the language OCaml(caml.inria.fr). It is mostly a 1-1 mapping
of the C functions into the OCaml namespace, but also includes some
infix operators to make for a cleaner syntax.
.
This package provides the static library, OCaml library and interface
for developing applications to use libgmp-ocaml
Description-md5: db5efd04d37b04aa52f71bd40162ec80