How to Install and Uninstall dh-coq Package on Debian 12 (Bookworm)

Last updated: May 22,2024

You can also install and uninstall the dh-coq on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "dh-coq" package

This tutorial shows how to install dh-coq on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                dh-coq
            
                    
    
    Copied

2. Uninstall "dh-coq" package

This guide covers the steps necessary to uninstall dh-coq on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                dh-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the dh-coq package on Debian 12 (Bookworm)

Package: dh-coq
Version: 0.5
Installed-Size: 26
Maintainer: Debian OCaml Maintainers
Architecture: all
Provides: dh-sequence-coq
Recommends: debhelper
Description: debhelper tool for Coq-related Debian packages
Description-md5: a9d9a045bc98a4ede89c9b213ef810fe
Multi-Arch: foreign
Section: ocaml
Priority: optional
Filename: pool/main/d/dh-coq/dh-coq_0.5_all.deb
Size: 7460
MD5sum: b22228be987b03c5f90187a7c0232f5e
SHA256: fac8bcf079f76570208b18cb22d3f0af5817da3c2aa46d123f1e359a7f64e0f7