How to Install and Uninstall libssreflect-coq Package on Debian 11 (Bullseye)

Last updated: November 23,2024

1. Install "libssreflect-coq" package

Please follow the steps below to install libssreflect-coq on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libssreflect-coq
            
                    
    
    Copied

2. Uninstall "libssreflect-coq" package

Please follow the guidelines below to uninstall libssreflect-coq on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libssreflect-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libssreflect-coq package on Debian 11 (Bullseye)

Package: libssreflect-coq
Source: ssreflect
Version: 1.12.0-1
Installed-Size: 168956
Maintainer: Debian OCaml Maintainers
Architecture: all
Provides: libmathcomp-coq, ssreflect
Depends: libcoq-ocaml, coq-8.12.0+4.11.1
Description: Mathematical Components library for Coq
Description-md5: 5e372e261cbf7d4b3305676ff6b2dc63
Homepage: https://math-comp.github.io/math-comp/
Section: math
Priority: optional
Filename: pool/main/s/ssreflect/libssreflect-coq_1.12.0-1_all.deb
Size: 26421500
MD5sum: 1ad42c9e0080441762292f7787c101d8
SHA256: 28a8fa56b79ee0956de8429571459102805f1702ed2bf24fa70185105b48511a