How to Install and Uninstall coq-theories Package on Debian 10 (Buster)

Last updated: December 24,2024

1. Install "coq-theories" package

Learn how to install coq-theories on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-theories
            
                    
    
    Copied

2. Uninstall "coq-theories" package

Please follow the instructions below to uninstall coq-theories on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-theories
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq-theories package on Debian 10 (Buster)

Package: coq-theories
Source: coq
Version: 8.9.0-1
Installed-Size: 216590
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs (<< 8.2.pl1)
Depends: coq-8.9.0+4.05.0, libc6 (>= 2.2.5)
Recommends: coq (>= 8.0)
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Homepage: http://coq.inria.fr/
Tag: devel::library, field::mathematics, role::app-data
Section: math
Priority: optional
Filename: pool/main/c/coq/coq-theories_8.9.0-1_amd64.deb
Size: 29737672
MD5sum: 4d964a8bd41293ed31a8786ed3704545
SHA256: b08ab391ee8385f82d4f25c0edcd2e974ddc4385497afb39c027202be4fefcad