How to Install and Uninstall libgmp-ocaml Package on Debian 12 (Bookworm)

Last updated: April 29,2024

You can also install and uninstall the libgmp-ocaml on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libgmp-ocaml" package

Please follow the steps below to install libgmp-ocaml on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libgmp-ocaml
            
                    
    
    Copied

2. Uninstall "libgmp-ocaml" package

In this section, we are going to explain the necessary steps to uninstall libgmp-ocaml on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libgmp-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libgmp-ocaml package on Debian 12 (Bookworm)

Package: libgmp-ocaml
Source: mlgmp (20021123-21)
Version: 20021123-21+b2
Installed-Size: 111
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libgmp-ocaml-7ai72
Depends: libc6 (>= 2.3.4), libgmp10 (>= 2:6.2.1+dfsg), ocaml-base-4.13.1
Description: OCaml bindings for the GNU multiprecision arithmetic library (runtime)
Description-md5: 5a477f56ccfdde0f1d81c56b936b7535
Homepage: http://www-verimag.imag.fr/~monniaux/download/
Tag: devel::lang:ocaml, devel::library, field::mathematics,
implemented-in::ocaml, role::devel-lib, role::shared-lib
Section: ocaml
Priority: optional
Filename: pool/main/m/mlgmp/libgmp-ocaml_20021123-21+b2_amd64.deb
Size: 21556
MD5sum: fc012cf433efe3703be39fdd44c0f3a7
SHA256: 8415b3c7ddcb3df485925ba5b66e930cba48ad0391599ab928f16d3634c07588