How to Install and Uninstall libcoq-mathcomp-multinomials Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 07,2024

1. Install "libcoq-mathcomp-multinomials" package

This is a short guide on how to install libcoq-mathcomp-multinomials on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-multinomials
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-multinomials" package

Please follow the steps below to uninstall libcoq-mathcomp-multinomials on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-multinomials
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp-multinomials package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-mathcomp-multinomials
Architecture: amd64
Version: 1.6.0-3build1
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: 3247
Provides: libcoq-mathcomp-multinomials-jevw9
Depends: libcoq-mathcomp-algebra-q3ad3, libcoq-mathcomp-bigenough-xsem6, libcoq-mathcomp-finmap-jqtq9, libcoq-mathcomp-ssreflect-sunj9
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-multinomials/libcoq-mathcomp-multinomials_1.6.0-3build1_amd64.deb
Size: 1509184
MD5sum: 26374dc6e6d11da37abc9f97be3cad06
SHA1: 18e01500bdc8a760b1be3b7f46b167363e7c3400
SHA256: aba84ec0b37031ae434b790e44e8da90ebe328f7f49fed89bbcf4f41918d85b2
SHA512: 8265e6ef606a68468803546d4611e97122b220d20423327bf705e9b59917d86322efdc41f2e96c1bf7141effd4e36192cafdb39ce503f088c7cc59282e09161a
Homepage: https://github.com/math-comp/multinomials
Description: Multivariate polynomials for Mathematical Components
Description-md5: dc696b9ffcd93dcce440ab60ede8413b