How to Install and Uninstall libgmp-ocaml-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 13,2024

1. Install "libgmp-ocaml-dev" package

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

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

2. Uninstall "libgmp-ocaml-dev" package

This guide let you learn how to uninstall libgmp-ocaml-dev on Ubuntu 23.10 (Mantic Minotaur):

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

3. Information about the libgmp-ocaml-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libgmp-ocaml-dev
Architecture: amd64
Version: 20021123-22
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: 791
Provides: libgmp-ocaml-dev-7ai72
Depends: libgmp-ocaml-7ai72, libstdlib-ocaml-dev-lqmb5, ocaml-4.13.1, libgmp3-dev
Recommends: ocaml-findlib
Filename: pool/universe/m/mlgmp/libgmp-ocaml-dev_20021123-22_amd64.deb
Size: 97752
MD5sum: eaf7e72df4fa3391b52df861b1d76d6b
SHA1: a7967c8b4f3b16aa01c952c295756e00fd4bb878
SHA256: 396800c3415a8989142dc3d2864ad5d31f24109247f0879c8526db0ef88e98ea
SHA512: f67fa7f92d4bfab239ecc538e6889bc0ba8ad0eafa671e0a79a305b487e3c8d59e5ad54f122193db183024766825de9ebafad6dd64bf3a5c3e0f404b062c0f5e
Homepage: http://www-verimag.imag.fr/~monniaux/download/
Description: OCaml bindings for the GNU multiprecision arithmetic library (dev)
Description-md5: db5efd04d37b04aa52f71bd40162ec80