How to Install and Uninstall libssreflect-coq Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 23,2024

Deprecated! Installation of this package may no longer be supported.

You can also install and uninstall the libssreflect-coq on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "libssreflect-coq" package

Please follow the steps below to install libssreflect-coq on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                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 Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libssreflect-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libssreflect-coq package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libssreflect-coq
Architecture: all
Version: 1.13.0-1
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: 172292
Provides: libmathcomp-coq, ssreflect
Depends: libcoq-ocaml, coq-8.14.1+4.11.1
Filename: pool/universe/s/ssreflect/libssreflect-coq_1.13.0-1_all.deb
Size: 30087904
MD5sum: e8466c72c6a07c830742d3a9037c936e
SHA1: afd56ee3dfe5d43fa957a5bec361a9f630414f59
SHA256: b5c68db60ff5857b342855601b97cc83209b94968688b3e783fce7a2013db276
SHA512: 19f61585775d12d780e5a440e2a3a867fecc005eef8c717ac8de1f8a25c7978d41a757a570035fc5bf2095ed241fababfb175dc36a322e4449c19a74cd4f0603
Homepage: https://math-comp.github.io/math-comp/
Description-en: Mathematical Components library for Coq
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.
.
These formal theories cover a wide spectrum of topics, ranging from
the formal theory of general-purpose data structures like lists,
prime numbers or finite graphs, to advanced topics in algebra.
.
The formalization technique adopted in the library, called "small
scale reflection", leverages the higher-order nature of Coq's
underlying logic to provide effective automation for many small,
clerical proof steps. This is often accomplished by restating
("reflecting") problems in a more concrete form, hence the name. For
example, arithmetic comparison is not an abstract predicate, but
rather a function computing a Boolean.
.
This package installs the full Mathematical Components library.
Description-md5: 5e372e261cbf7d4b3305676ff6b2dc63