How to Install and Uninstall coq-theories 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 coq-theories 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 "coq-theories" package

This is a short guide on how to install coq-theories on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-theories
            
                    
    
    Copied

2. Uninstall "coq-theories" package

Please follow the guidelines below to uninstall coq-theories on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-theories
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: coq-theories
Architecture: amd64
Version: 8.14.1+dfsg-1
Priority: optional
Section: universe/math
Source: coq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 140361
Depends: coq-8.14.1+4.11.1
Recommends: coq (>= 8.0)
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
Replaces: coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/coq-theories_8.14.1+dfsg-1_amd64.deb
Size: 25046062
MD5sum: 7fa54b1bc3d107a7b4ef17f2fb9f5152
SHA1: b8f338c2646bc7e43d4fd67005e7744dd59ec3fb
SHA256: 8b4f2dd1d1acd7fa3a5191b18e91fc49d1e5a368cda3c79c563f9b5106d32785
SHA512: 34174dcff78128ca18168f6a0df017a1dd6b4132156207eda52cad46fa38518b2fd36f1436e2168ebfe13f0c025d371e68286ba9eb0a477f68439861128e0435
Homepage: http://coq.inria.fr/
Description-en: proof assistant for higher-order logic (theories)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values.
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e