How to Install and Uninstall libcoq-hammer Package on Kali Linux

Last updated: May 20,2024

1. Install "libcoq-hammer" package

This guide covers the steps necessary to install libcoq-hammer on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-hammer
            
                    
    
    Copied

2. Uninstall "libcoq-hammer" package

Please follow the guidelines below to uninstall libcoq-hammer on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-hammer
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-hammer package on Kali Linux

Package: libcoq-hammer
Source: coq-hammer
Version: 1.3.2+8.18-1
Installed-Size: 3614
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-hammer-rq4s6
Depends: libcoq-stdlib-6gs52, libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Size: 503588
SHA256: 930348f7bd41956232d6f18ca9bc09f17b84cadbd45b990a1ca2b972fe226d8e
SHA1: 08a96af2d60a086fe53ba8a027a3b7b230e952d0
MD5sum: 54a1d3cc7b9e75ed8eae6ec3e7b7ea80
Description: automated reasoning tool for Coq
Hammer is a tool to help in the search of a proof
in Coq. It tries to find applicable lemmas and
combine them into a effective proof.
.
Coq is a proof assistant for higher-order logic.
Description-md5:
Homepage: https://github.com/lukaszcz/coqhammer
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-hammer/libcoq-hammer_1.3.2+8.18-1_amd64.deb