How to Install and Uninstall libgmp-ocaml-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)
Last updated: December 23,2024
1. Install "libgmp-ocaml-dev" package
Learn how to install libgmp-ocaml-dev on Ubuntu 16.04 LTS (Xenial Xerus)
$
sudo apt update
Copied
$
sudo apt install
libgmp-ocaml-dev
Copied
2. Uninstall "libgmp-ocaml-dev" package
In this section, we are going to explain the necessary steps to uninstall libgmp-ocaml-dev on Ubuntu 16.04 LTS (Xenial Xerus):
$
sudo apt remove
libgmp-ocaml-dev
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libgmp-ocaml-dev package on Ubuntu 16.04 LTS (Xenial Xerus)
Package: libgmp-ocaml-dev
Priority: optional
Section: universe/devel
Installed-Size: 746
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: amd64
Source: mlgmp
Version: 20021123-18build1
Provides: libgmp-ocaml-dev-u1z96
Depends: libgmp-ocaml-u1z96, ocaml-nox-4.02.3, libgmp3-dev
Filename: pool/universe/m/mlgmp/libgmp-ocaml-dev_20021123-18build1_amd64.deb
Size: 74582
MD5sum: 200b696c15ef7f838cd69e16ffe90fee
SHA1: 2e5fdf56b1ed0525867144244737a6849d3b316a
SHA256: 3cdf8ca64517351d48907d602a4d98e126feafb52b7c4fc0f2856d83fb6b50d9
Description-en: OCaml bindings for the GNU multiprecision arithmetic library
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: b4e61d7196c2d7ed9446b0a97dd435f0
Homepage: http://www-verimag.imag.fr/~monniaux/programmes.html.en
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu
Priority: optional
Section: universe/devel
Installed-Size: 746
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: amd64
Source: mlgmp
Version: 20021123-18build1
Provides: libgmp-ocaml-dev-u1z96
Depends: libgmp-ocaml-u1z96, ocaml-nox-4.02.3, libgmp3-dev
Filename: pool/universe/m/mlgmp/libgmp-ocaml-dev_20021123-18build1_amd64.deb
Size: 74582
MD5sum: 200b696c15ef7f838cd69e16ffe90fee
SHA1: 2e5fdf56b1ed0525867144244737a6849d3b316a
SHA256: 3cdf8ca64517351d48907d602a4d98e126feafb52b7c4fc0f2856d83fb6b50d9
Description-en: OCaml bindings for the GNU multiprecision arithmetic library
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: b4e61d7196c2d7ed9446b0a97dd435f0
Homepage: http://www-verimag.imag.fr/~monniaux/programmes.html.en
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu