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

Last updated: May 17,2024

1. Install "libcoq-mathcomp-field" package

This guide let you learn how to install libcoq-mathcomp-field on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-field
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-field" package

Please follow the step by step instructions below to uninstall libcoq-mathcomp-field on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-field
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-field
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: 9491
Depends: libcoq-mathcomp-solvable (= 1.14.0-7)
Breaks: libssreflect-coq (<= 1.14.0-7)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-field_1.14.0-7_all.deb
Size: 3177868
MD5sum: 371e80774e24c2346c1d35b8f062bf52
SHA1: 5905d8a6ef3f00e545fcabb6b95b2ee1d0b53d89
SHA256: 4ae3549ad27b6466cf10d80814dbe13478d682dedb2f6e4f89e4fc6ec6434139
SHA512: 45f6cd1feb6a6b63d20611b2a1dab221c77dc3c494f8c0b084835f1760f55e5bbfff0b5223f6fc00218963abda43ecb2f69fdaaa5b25d08dee56560a8205cc54
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (field)
Description-md5: 552c63b45c57eb8f41189849920f0be9