How to Install and Uninstall libgmp-ocaml-dev Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 26,2024

1. Install "libgmp-ocaml-dev" package

Please follow the steps below to install libgmp-ocaml-dev on Ubuntu 22.04 LTS (Jammy Jellyfish)

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

2. Uninstall "libgmp-ocaml-dev" package

Please follow the guidelines below to uninstall libgmp-ocaml-dev on Ubuntu 22.04 LTS (Jammy Jellyfish):

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

3. Information about the libgmp-ocaml-dev package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libgmp-ocaml-dev
Architecture: amd64
Version: 20021123-21build2
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: 785
Provides: libgmp-ocaml-dev-7ai72
Depends: libgmp-ocaml-7ai72, ocaml-4.13.1, libgmp3-dev
Recommends: ocaml-findlib
Filename: pool/universe/m/mlgmp/libgmp-ocaml-dev_20021123-21build2_amd64.deb
Size: 100206
MD5sum: 88f8bf11d6e3bcec1da0d71e9da4b371
SHA1: ebff717d36eb1e311c3687aa7f864b16a500e459
SHA256: cb5724dc79d0d33a0b8592a9a227e12ac465be27747101fb286064ee89b28eeb
SHA512: e71a7160163710729f97ca23bd98077ebc7d05ab52e1c37018d40abc489e82d53c91ac6f4584f69be7af5eee609a472eeae2465297b2d8dfe2d02fa2ca8cbc0a
Homepage: http://www-verimag.imag.fr/~monniaux/download/
Description: OCaml bindings for the GNU multiprecision arithmetic library (dev)
Description-md5: db5efd04d37b04aa52f71bd40162ec80