How to Install and Uninstall libmathcomp-coq Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 21,2024

1. Install "libmathcomp-coq" package

Please follow the instructions below to install libmathcomp-coq on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libmathcomp-coq
            
                    
    
    Copied

2. Uninstall "libmathcomp-coq" package

In this section, we are going to explain the necessary steps to uninstall libmathcomp-coq on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libmathcomp-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libmathcomp-coq package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libmathcomp-coq
Priority: optional
Section: universe/math
Installed-Size: 105929
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: all
Source: mathcomp
Version: 1.5-4build1
Depends: libssreflect-coq (>= 1.5), libssreflect-coq (<< 1.6), coq-8.4pl4+4.02.3
Filename: pool/universe/m/mathcomp/libmathcomp-coq_1.5-4build1_all.deb
Size: 22741572
MD5sum: 04055803a635c8486aed964498bd8882
SHA1: da8414560947f1c3eb9041872d0a9ba79f79cc72
SHA256: 2eb13c7b6ac0090d4a5a5cf1dd8783aa871caa996b04365b9653d9cedafb0c85
Description-en: Mathematical Components library for Coq (theories)
The Mathematical Components library is an extensive library of
formalized mathematics built using the Ssreflect extension for
the Coq system.
Description-md5: 7f47a817437bda370a1678d3a87714c4
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu