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

Last updated: November 25,2024

1. Install "coq-theories" package

This guide let you learn how to install coq-theories on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-theories
            
                    
    
    Copied

2. Uninstall "coq-theories" package

Please follow the guidance below to uninstall coq-theories on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-theories
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: coq-theories
Architecture: amd64
Version: 8.6-5build1
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: 234632
Depends: coq-8.6+4.05.0, libc6 (>= 2.2.5)
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.6-5build1_amd64.deb
Size: 33181580
MD5sum: d56f2303c0ce250081dcebc77d0acd23
SHA1: b69a945dec36078dc0b015b4a022ad4eae10b07d
SHA256: 0bb4c179e8a357bf57ed5defdefa6f6d7d1b4247198602be2bc61b089429429c
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e