How to Install and Uninstall libssreflect-coq Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: December 27,2024

1. Install "libssreflect-coq" package

This tutorial shows how to install libssreflect-coq on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libssreflect-coq
            
                    
    
    Copied

2. Uninstall "libssreflect-coq" package

Learn how to uninstall libssreflect-coq on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libssreflect-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libssreflect-coq package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libssreflect-coq
Architecture: all
Version: 1.6.1-3build1
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: 138793
Provides: libmathcomp-coq, ssreflect
Depends: libssreflect-ocaml (>= 1.6.1-3build1), coq-8.6+4.05.0
Filename: pool/universe/s/ssreflect/libssreflect-coq_1.6.1-3build1_all.deb
Size: 24199944
MD5sum: 8a4cf4fc64df838fed5126f3f4d9ceb0
SHA1: 5044b7d4612eeb1322c2a98561d241cb9b10c30e
SHA256: 4726f6062f2061503f0c28a7c5e62447bbc5ecd4624f35245d32467f7678ccf9
Homepage: https://math-comp.github.io/math-comp/
Description: small scale reflection library for Coq (theories)
Description-md5: 74d4d104ee525bf420f0bd1f3db04e5c