How to Install and Uninstall debian-coq-tools Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 21,2024

1. Install "debian-coq-tools" package

This guide covers the steps necessary to install debian-coq-tools on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                debian-coq-tools
            
                    
    
    Copied

2. Uninstall "debian-coq-tools" package

Please follow the guidance below to uninstall debian-coq-tools on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                debian-coq-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the debian-coq-tools package on Ubuntu 24.04 LTS (Noble Numbat)

Package: debian-coq-tools
Architecture: all
Version: 0.8
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: 29
Depends: python3:any
Filename: pool/universe/d/dh-coq/debian-coq-tools_0.8_all.deb
Size: 7476
MD5sum: e60e3e98104140a40d087b1a6aba6a15
SHA1: 4c2fe42d58f2334dfff0a290b41b37116d70005d
SHA256: fbc5a5e60a6c2cee6a12fef6630acc33376df5b97e8ba3cdab914b17a087b8a1
SHA512: c7f7200f7dbfbaa72703a0f9d81b0f2aef74e8056a1a9c807ee25a5f5f1611e3ac1a52156e4de9ccb2c9dc77556023868c8ac6cac13c5e95736fd1c21f606af9
Description: various tools to manage Coq-related Debian packages
Description-md5: bc0e9ecb11676bddf70f51790273af6f