How to Install and Uninstall dh-coq Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 25,2024

1. Install "dh-coq" package

Please follow the guidelines below to install dh-coq on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                dh-coq
            
                    
    
    Copied

2. Uninstall "dh-coq" package

Here is a brief guide to show you how to uninstall dh-coq on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                dh-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the dh-coq package on Ubuntu 22.10 (Kinetic Kudu)

Package: dh-coq
Architecture: all
Version: 0.3
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.3_all.deb
Size: 7212
MD5sum: 97f22864cb945987173ebc06b7135981
SHA1: efbef0698d47aef223aec9119d6051f9534ef603
SHA256: 7c9fa2f75942fb01f0f7208b861d06b27985334649610fdd71a63afa239cbc2f
SHA512: 72af1fa50653773b48d931cca2626b654155862312b1e7ff289d77522b858425a6f6efdf2cbdc844bd648c013c662771605ca71cea8ae7d80d7164541e25daed
Description: helper tool to maintain Coq-related Debian packages
Description-md5: f1bf87b8c72d042e851809915bf3091a