How to Install and Uninstall libssreflect-coq Package on Linux Mint 20.3 (Una)

Last updated: December 28,2024

1. Install "libssreflect-coq" package

Please follow the steps below to install libssreflect-coq on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libssreflect-coq
            
                    
    
    Copied

2. Uninstall "libssreflect-coq" package

Here is a brief guide to show you how to uninstall libssreflect-coq on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libssreflect-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libssreflect-coq package on Linux Mint 20.3 (Una)

Package: libssreflect-coq
Architecture: all
Version: 1.10.0+dfsg-2
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: 147122
Provides: libmathcomp-coq, ssreflect
Depends: libcoq-ocaml, coq-8.11.0+4.08.1
Filename: pool/universe/s/ssreflect/libssreflect-coq_1.10.0+dfsg-2_all.deb
Size: 25950760
MD5sum: 1264922ebe0ad1737d07a8f19498a6ff
SHA1: e02aec79a1f03ff57b9347bbeec5cfc7e5830804
SHA256: b440c456cb54fa229e7fd9a3dc354006c969ad31142f582f8c1e3a9256a9dbe1
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq
Description-md5: 5e372e261cbf7d4b3305676ff6b2dc63