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

Last updated: May 20,2024

1. Install "libcoq-libhyps" package

Please follow the steps below to install libcoq-libhyps on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-libhyps
            
                    
    
    Copied

2. Uninstall "libcoq-libhyps" package

Please follow the guidelines below to uninstall libcoq-libhyps on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-libhyps
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-libhyps
Architecture: amd64
Version: 2.0.6-3build1
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: 404
Provides: libcoq-libhyps-k9iv9
Depends: libcoq-stdlib-zp202
Filename: pool/universe/c/coq-libhyps/libcoq-libhyps_2.0.6-3build1_amd64.deb
Size: 97744
MD5sum: cb73f71cdc801de31fb0c1ebd91d1cf9
SHA1: 04f9d900adef51a6ea19e5c1140e09b7e77ef487
SHA256: 5cb0961a00d2e4afa65c5e698f06356ce9a61157610b28b3243884712323a168
SHA512: 82dab180d3db64178e6e1b348076c4b05334e62e92c59ae173f829261117a5dabc6110ef30e24c65af09d916174221505e80e10f43260811aea48da0d3592d4e
Homepage: https://github.com/Matafou/LibHyps
Description: Tactics on hypotheses in Coq
Description-md5: db8bbfca8b98fd7442164805cb2552a7