How to Install and Uninstall libcoq-hammer Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 17,2024

1. Install "libcoq-hammer" package

Learn how to install libcoq-hammer on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-hammer
            
                    
    
    Copied

2. Uninstall "libcoq-hammer" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-hammer
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-hammer package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-hammer
Architecture: amd64
Version: 1.3.2+8.17-1build1
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: 3523
Provides: libcoq-hammer-3i4x4
Depends: libcoq-stdlib-zp202, libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Filename: pool/universe/c/coq-hammer/libcoq-hammer_1.3.2+8.17-1build1_amd64.deb
Size: 569502
MD5sum: 1e94ceb457d5c4587797f4311408d432
SHA1: 1a79fae88e3ea56012494ac70d699c0f815c71eb
SHA256: 4e3711e6cb97071619d00f2cf40ddd71b0d0227a7f97def07c7e1b6b3b5b8889
SHA512: a734ec367bd1a5cf0630403d94a12f01e47607a80a2c3e5c43768ccb259af4d4670e19d113f768bfd62fd6d888a4bbbf9f1f80da9c5939cc12e3f378e97fcf8f
Homepage: https://github.com/lukaszcz/coqhammer
Description: automated reasoning tool for Coq
Description-md5: 93c2a76bc9c3ffff3b0a71897b07707a