How to Install and Uninstall debian-coq-tools Package on Kali Linux

Last updated: December 25,2024

1. Install "debian-coq-tools" package

This is a short guide on how to install debian-coq-tools on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                debian-coq-tools
            
                    
    
    Copied

2. Uninstall "debian-coq-tools" package

Here is a brief guide to show you how to uninstall debian-coq-tools on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                debian-coq-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the debian-coq-tools package on Kali Linux

Package: debian-coq-tools
Source: dh-coq
Version: 0.8
Installed-Size: 29
Maintainer: Debian OCaml Maintainers
Architecture: all
Depends: python3:any
Size: 7416
SHA256: 45bab689b94edb2aea80242163bfa65849165cd67b80738e74780ff624fe02ef
SHA1: edab4d266e1ae8914337ff8ce4758ed9728a9535
MD5sum: a5ccd3dc5dcb85fb6157642b1c78d3a4
Description: various tools to manage Coq-related Debian packages
Those tools make it easier to track package dependencies
and possible breakage and maintain the whole Coq-in-Debian stack
sane:
- coq-planif-transition: find out which packages depend on some
others for transition planification.
- coq-wanna-build: compute the dak script for a planned transition.
.
Coq is a proof assistant for higher-order logic.
Description-md5:
Multi-Arch: foreign
Section: ocaml
Priority: optional
Filename: pool/main/d/dh-coq/debian-coq-tools_0.8_all.deb