How to Install and Uninstall libcoq-hammer Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 09,2024

1. Install "libcoq-hammer" package

Please follow the steps below to install libcoq-hammer on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                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 Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-hammer
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-hammer package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-hammer
Architecture: amd64
Version: 1.3.2+8.18-1
Priority: optional
Section: universe/ocaml
Source: coq-hammer
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3532
Provides: libcoq-hammer-uhjj3
Depends: libcoq-stdlib-ncp86, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Filename: pool/universe/c/coq-hammer/libcoq-hammer_1.3.2+8.18-1_amd64.deb
Size: 742150
MD5sum: 120ec4188c14ddaad0b406031781c3df
SHA1: 25de2c86f3239b2b07fd78d0844dfb8428bce412
SHA256: cbf738389ad6a5e3afee39cf82bb6521edef90cde8b63be974a578413ae8250e
SHA512: e132fdaf5238ff65eaade96db13d3ecba5adb56fb905e37fbcd2d6996a13360a9182a78a461915c7cc26eccc71973e53b617a3f72b070c6b0b993ed04aeda576
Homepage: https://github.com/lukaszcz/coqhammer
Description: automated reasoning tool for Coq
Description-md5: 93c2a76bc9c3ffff3b0a71897b07707a