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

Last updated: December 28,2024

1. Install "libcoq-hott" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-hott
            
                    
    
    Copied

2. Uninstall "libcoq-hott" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-hott
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-hott
Architecture: amd64
Version: 8.18-1
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: 119377
Provides: libcoq-hott-pkl66
Depends: libcoq-stdlib-zp202
Filename: pool/universe/c/coq-hott/libcoq-hott_8.18-1_amd64.deb
Size: 16778204
MD5sum: 5e46f66c80dd5961bd3f21acd0f3bc5e
SHA1: 9134dcd9b14efc187c23a2026551975a69919873
SHA256: d6923dca0e0f4f9990b267b12260c06d1aa626c54aa7d598816c82eaa2a08e4b
SHA512: b723c004b7a1a25be183956c5d87d1b9b4a2d09214ce854a43d09bc5278de1b2f7538b8300eed8e78c77597cbe48f0f387c8721e82f672fdd2a8f00b8cd4fd63
Homepage: https://github.com/HoTT/HoTT
Description: Coq library for homotopy type theory
Description-md5: 5c56dd9ef75fce82fc2150b322df3d18