How to Install and Uninstall libcoq-mathcomp-multinomials Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: December 25,2024

1. Install "libcoq-mathcomp-multinomials" package

Please follow the steps below to install libcoq-mathcomp-multinomials on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-multinomials
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-multinomials" package

This tutorial shows how to uninstall libcoq-mathcomp-multinomials on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-multinomials
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp-multinomials package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-mathcomp-multinomials
Architecture: amd64
Version: 2.2.0-1build2
Priority: optional
Section: universe/ocaml
Source: mathcomp-multinomials
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3780
Provides: libcoq-mathcomp-multinomials-gzn90
Depends: libcoq-mathcomp-algebra-rarb2, libcoq-mathcomp-bigenough-z7cm6, libcoq-mathcomp-finmap-p8fe4, libcoq-mathcomp-ssreflect-s8sz2
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-multinomials/libcoq-mathcomp-multinomials_2.2.0-1build2_amd64.deb
Size: 1629438
MD5sum: 3f781b06cd5db9db959c32db0633059d
SHA1: 9b3977af12eb582b413cf578c9ff5ffec51fce67
SHA256: 0d7d81deddc8aa35d721c4f1f2c6ec76a9f752e89c2332eb5cf062155d0bea9d
SHA512: fd959a15a481fbd5bb301a5c8c426b029024310629d97297f7199ea4df26c1de6a3ecad1e61c125cd9b00755662a6f28abc5181b81cda6243ea3efbac451bfc5
Homepage: https://github.com/math-comp/multinomials
Description: Multivariate polynomials for Mathematical Components
Description-md5: dc696b9ffcd93dcce440ab60ede8413b