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

Last updated: November 07,2024

1. Install "libcoq-mathcomp-ssreflect" package

This is a short guide on how to install libcoq-mathcomp-ssreflect on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-ssreflect
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-ssreflect" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-ssreflect
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-ssreflect
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: 16894
Depends: libcoq-core-ocaml, coq-8.15.0+4.13.1
Breaks: libssreflect-coq (<= 1.14.0-7)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-ssreflect_1.14.0-7_all.deb
Size: 4699482
MD5sum: 21f9af36e549a945297b4908e41b3ac8
SHA1: 42341f4d147c03c398329ca776066832433d2e54
SHA256: 28d6bc02f437f3d674a32c6242f74f819407a95bdbc273c74e289cac5c6d59c0
SHA512: 0710fc5a4a62e5e0992ec07b748d51e20ddd588b7d931fecacfa9ed533b9e36ad317f47fdad9681ce36e3ca36b942448bf706d1fe2fe87aa4a67742dc7fd72b4
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (small scale reflection)
Description-md5: 70fcad66ebe7043a2a943f9be8be4a05