How to Install and Uninstall libcoq-mathcomp Package on Linux Mint 21.3 (Virginia)

Last updated: December 24,2024

1. Install "libcoq-mathcomp" package

Please follow the steps below to install libcoq-mathcomp on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp" package

Please follow the guidance below to uninstall libcoq-mathcomp on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp package on Linux Mint 21.3 (Virginia)

Package: libcoq-mathcomp
Architecture: all
Version: 1.14.0-7
Priority: optional
Section: universe/math
Source: ssreflect
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 81943
Provides: libmathcomp-coq, libssreflect-coq, ssreflect
Depends: libcoq-mathcomp-algebra (= 1.14.0-7), libcoq-mathcomp-character (= 1.14.0-7), libcoq-mathcomp-field (= 1.14.0-7), libcoq-mathcomp-fingroup (= 1.14.0-7), libcoq-mathcomp-solvable (= 1.14.0-7), libcoq-mathcomp-ssreflect (= 1.14.0-7), coq-8.15.0+4.13.1
Breaks: libssreflect-coq (<= 1.14.0-7)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp_1.14.0-7_all.deb
Size: 2653510
MD5sum: 3d07a65354036cb6f91c43024472f39c
SHA1: a4b1e0bc30fbeb88a595cac33b9aece12770cde9
SHA256: c4500a4c1be2d163af98c6622c7ff3127473efac8410d443ad66aab0c01eaff5
SHA512: 855a879b151c201bac06bcfbdc212b33070c69c5221df2a980cc0da2b5ac6d22a3dfc93c24ec6b594bee382d155cd846cab36df21a9abea3d3981cb71f438ad8
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (all)
Description-md5: bd26831f634ff58fc6c73937049fe58a