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

Last updated: November 26,2024

1. Install "libcoq-mathcomp-analysis" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-analysis
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-analysis" package

This guide let you learn how to uninstall libcoq-mathcomp-analysis on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-analysis
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-analysis
Architecture: amd64
Version: 0.3.13-1
Priority: optional
Section: universe/ocaml
Source: mathcomp-analysis
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 22096
Depends: coq, libcoq-mathcomp-ssreflect
Filename: pool/universe/m/mathcomp-analysis/libcoq-mathcomp-analysis_0.3.13-1_amd64.deb
Size: 6481442
MD5sum: ad93216dc506e98929f4bba3120de10f
SHA1: 0a91bf4fc53f7fdac04095d8bb7ed9db331cc72e
SHA256: e3dcae8aa777c7200b7fd7f00deee149124475b2f709e91fab2c4488d01d97c5
SHA512: 701324dbbdb0d8df9cc21812426bea736db3879184340f1215ca3b78d469cda0f811dcfb752890d99e760057e7bb07aa451ef2d35256240d363522dfb1d15bbe
Homepage: https://github.com/math-comp/analysis
Description: analysis extension for Mathematical Components
Description-md5: 17ca6253f8d79f552f583a9d3bacf467