How to Install and Uninstall debian-coq-tools Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 20,2024

1. Install "debian-coq-tools" package

This guide let you learn how to install debian-coq-tools on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                debian-coq-tools
            
                    
    
    Copied

2. Uninstall "debian-coq-tools" package

This is a short guide on how to uninstall debian-coq-tools on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                debian-coq-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the debian-coq-tools package on Ubuntu 23.10 (Mantic Minotaur)

Package: debian-coq-tools
Architecture: all
Version: 0.6
Multi-Arch: foreign
Priority: optional
Section: universe/ocaml
Source: dh-coq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 26
Depends: python3
Filename: pool/universe/d/dh-coq/debian-coq-tools_0.6_all.deb
Size: 6394
MD5sum: aec2ea6cd56a9c493597bd5d37b64ce5
SHA1: fb1f6920eb030798d17f0be1e5840b2f41249ba9
SHA256: cbd6033bd956ecd9a50ba5a341a96d60bab98580f6c7c6f0eff25dfd50c01148
SHA512: bc2f6df0abfdab8b614f5974488c3af12a9e81f10b112897e3519eb05b351788b9a42bb8c2006c12951d86e149eff13bef4f165e22d48b07f4a40e04265892ba
Description: various tools to manage Coq-related Debian packages
Description-md5: bc0e9ecb11676bddf70f51790273af6f