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

Last updated: November 22,2024

1. Install "dh-coq" package

This tutorial shows how to install dh-coq on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                dh-coq
            
                    
    
    Copied

2. Uninstall "dh-coq" package

Please follow the step by step instructions below to uninstall dh-coq on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                dh-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: dh-coq
Architecture: all
Version: 0.8
Multi-Arch: foreign
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 25
Provides: dh-sequence-coq
Recommends: debhelper
Filename: pool/universe/d/dh-coq/dh-coq_0.8_all.deb
Size: 6766
MD5sum: c09158494db5512a4fbecadd2007b664
SHA1: c2f3bf7c60b221144e6665f8def88153bebceec5
SHA256: b511418d886ee6dbf3bc66067a2fe78bd6204c49df22a9ba2552754cdc777cdd
SHA512: 0c62f6a1168596c53634579338d4b97e5b38b7da3e7485d2ece71a5b1cca21f163200e63a709d86e0237a7ee4b0a7d53a862b06af1fe1af37c90087ec012b970
Description: debhelper tool for Coq-related Debian packages
Description-md5: a9d9a045bc98a4ede89c9b213ef810fe