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

Last updated: December 29,2024

1. Install "libcoq-hott" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-hott
            
                    
    
    Copied

2. Uninstall "libcoq-hott" package

Learn how to uninstall libcoq-hott on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-hott
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-hott
Architecture: amd64
Version: 8.18-3build1
Priority: optional
Section: universe/ocaml
Source: coq-hott
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 114993
Provides: libcoq-hott-v7hw5
Depends: libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-hott/libcoq-hott_8.18-3build1_amd64.deb
Size: 19324876
MD5sum: 2f31f469ce1a602b311b7557334cbd1e
SHA1: c198f3af209004f3d6324392704aadd4800678d4
SHA256: efa2c327ed9459a491890dbb937aa969ea1b571bfcd700cbb0fa74cd32a1f6eb
SHA512: 9a374cf351669b3ee9cd46ed2db00f70349496d0388245cb0eaac09a70d240358d3e148c1a3b8b48840b5189463b1e4f7142166d72547b460ca922e5e39f5542
Homepage: https://github.com/HoTT/HoTT
Description: Coq library for homotopy type theory
Description-md5: 5c56dd9ef75fce82fc2150b322df3d18