How to Install and Uninstall libgmp-ocaml-dev Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: June 04,2024

1. Install "libgmp-ocaml-dev" package

Please follow the guidelines below to install libgmp-ocaml-dev on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                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 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libgmp-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libgmp-ocaml-dev package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libgmp-ocaml-dev
Architecture: amd64
Version: 20021123-19build1
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: 756
Provides: libgmp-ocaml-dev-ah7j9
Depends: libgmp-ocaml-ah7j9, ocaml-nox-4.05.0, libgmp3-dev
Filename: pool/universe/m/mlgmp/libgmp-ocaml-dev_20021123-19build1_amd64.deb
Size: 75632
MD5sum: ff910ac742a6c1afcfa754706d38ba7f
SHA1: 337df28ed2a360ea161cada17b4407d51f866e08
SHA256: b15e9a5ad170de146691267920c95f730c920970d0ee9afeaac9ac7a0afc3db0
Homepage: http://www-verimag.imag.fr/~monniaux/programmes.html.en
Description: OCaml bindings for the GNU multiprecision arithmetic library
Description-md5: b4e61d7196c2d7ed9446b0a97dd435f0