How to Install and Uninstall debian-coq-tools Package on Debian 12 (Bookworm)

Last updated: May 18,2024

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

MX Linux 23
SparkyLinux

1. Install "debian-coq-tools" package

This is a short guide on how to install debian-coq-tools on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                debian-coq-tools
            
                    
    
    Copied

2. Uninstall "debian-coq-tools" package

Please follow the guidelines below to uninstall debian-coq-tools on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                debian-coq-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the debian-coq-tools package on Debian 12 (Bookworm)

Package: debian-coq-tools
Source: dh-coq
Version: 0.5
Installed-Size: 26
Maintainer: Debian OCaml Maintainers
Architecture: all
Depends: python3
Description: various tools to manage Coq-related Debian packages
Description-md5: bc0e9ecb11676bddf70f51790273af6f
Multi-Arch: foreign
Section: ocaml
Priority: optional
Filename: pool/main/d/dh-coq/debian-coq-tools_0.5_all.deb
Size: 6292
MD5sum: ca5b73116539cb5865947e6ad3cecb61
SHA256: 43d10b7ab764ff0dcca20972a1fc64ea2cbe2bb7dc544df9d6e770ed4cd2fd8b