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

Last updated: February 03,2025

1. Install "libcoq-libhyps" package

This guide let you learn how to install libcoq-libhyps on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-libhyps
            
                    
    
    Copied

2. Uninstall "libcoq-libhyps" package

Please follow the steps below to uninstall libcoq-libhyps on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-libhyps
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-libhyps
Architecture: amd64
Version: 2.0.8-1build1
Priority: optional
Section: universe/ocaml
Source: coq-libhyps
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 329
Provides: libcoq-libhyps-ye090
Depends: libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-libhyps/libcoq-libhyps_2.0.8-1build1_amd64.deb
Size: 91716
MD5sum: 89bab10f8451d7c7e2e79d8618cdb630
SHA1: 128e21ffff07a614b2b995febc74006102dad7e3
SHA256: 9ba1772a7daed1533bd987de45fb70b8759f9865c64f19648325a8a216241d5a
SHA512: 3b030f9a43197e7f5cf04539d4c91bb6fdf0ba201bbe55eb614855af5d6b7398cead4d8d5a4567c41f28fc3334cbcc8e985631ff0ab811147dc86be810808e26
Homepage: https://github.com/Matafou/LibHyps
Description: Tactics on hypotheses in Coq
Description-md5: db8bbfca8b98fd7442164805cb2552a7