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

Last updated: May 17,2024

1. Install "dh-coq" package

Please follow the steps below to install dh-coq on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                dh-coq
            
                    
    
    Copied

2. Uninstall "dh-coq" package

This guide let you learn how to uninstall dh-coq on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                dh-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: dh-coq
Architecture: all
Version: 0.6
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: 26
Provides: dh-sequence-coq
Recommends: debhelper
Filename: pool/universe/d/dh-coq/dh-coq_0.6_all.deb
Size: 7630
MD5sum: ff8b36f4cd5815405c1e57a2b575d784
SHA1: 19455edd8c6a5762deb4de0d6e60d7129d60455e
SHA256: 9e04187f465292d131154ab21a74a53f42e250d87df83e72da424d9572f06b32
SHA512: 4d6e5ee143bcc484a53df5fb425625386dcff905d272549e76fa5dd2cb5c415eacbe88a6735fdae35dc058f6a4369b5d2e5fff7b21f2834a66ec1661d077e303
Description: debhelper tool for Coq-related Debian packages
Description-md5: a9d9a045bc98a4ede89c9b213ef810fe