How to Install and Uninstall libssreflect-ocaml Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 15,2024

1. Install "libssreflect-ocaml" package

In this section, we are going to explain the necessary steps to install libssreflect-ocaml on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libssreflect-ocaml
            
                    
    
    Copied

2. Uninstall "libssreflect-ocaml" package

Here is a brief guide to show you how to uninstall libssreflect-ocaml on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libssreflect-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libssreflect-ocaml package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libssreflect-ocaml
Priority: extra
Section: universe/math
Installed-Size: 2478
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: amd64
Source: ssreflect
Version: 1.5-3build1
Provides: libssreflect-ocaml-4x7f0
Depends: libcoq-ocaml-d91z1, ocaml-base-nox-4.02.3, libc6 (>= 2.2.5)
Filename: pool/universe/s/ssreflect/libssreflect-ocaml_1.5-3build1_amd64.deb
Size: 445836
MD5sum: 5bd1e8a8a5d56ebd97658aa0083e8774
SHA1: ea24212fd6833e7c0455b6fc40c16bbe88f25bd1
SHA256: 876ef3643c613df78a560010b76bb2626f6138d4a123477d2bd38542990f056a
Description-en: small scale reflection extension for Coq (plugin)
This package is part of Ssreflect, the small scale reflection
extension for Coq. It provides a new tactic language, which promotes
more structured, concise and robust proof scripts, and is in fact
independent from the "reflection" proof style. It is implemented as a
linkable extension to the Coq system.
Description-md5: c9d22fad0730ca0c68f6e78a2deb07fa
Enhances: coq
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu