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

Last updated: December 23,2024

1. Install "libcoq-hierarchy-builder" package

Please follow the step by step instructions below to install libcoq-hierarchy-builder on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-hierarchy-builder
            
                    
    
    Copied

2. Uninstall "libcoq-hierarchy-builder" package

This guide let you learn how to uninstall libcoq-hierarchy-builder on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-hierarchy-builder
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-hierarchy-builder
Architecture: amd64
Version: 1.6.0-1build2
Priority: optional
Section: universe/ocaml
Source: coq-hierarchy-builder
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 694
Provides: libcoq-hierarchy-builder-xj5v9
Depends: libcoq-elpi-01cx3
Recommends: ocaml-findlib
Filename: pool/universe/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.6.0-1build2_amd64.deb
Size: 267784
MD5sum: 37a0f67a5a238c4f72e7bc7e75878d84
SHA1: e5d464b68830909fe104a1036a64340cd7233b87
SHA256: bef88b6721b74fb5271745644bf7f9b1cbdb33e7c2518b73451f8b1a4e05ad4c
SHA512: 79e9cafd860835f90f9290d633ed48c04e5e6350f8f81720136232a884c1de7d6753adb63d989b1722a6700ba28e8c126976bac5d21e914cb5bec0e4cf08aec9
Homepage: https://github.com/math-comp/hierarchy-builder
Description: build hierarchies of algebraic structures in Coq (runtime files)
Description-md5: 2abfdabc785c18da7923821ab30857ab