How to Install and Uninstall libcoq-hierarchy-builder Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 23,2024

1. Install "libcoq-hierarchy-builder" package

This guide covers the steps necessary to install libcoq-hierarchy-builder on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-hierarchy-builder
            
                    
    
    Copied

2. Uninstall "libcoq-hierarchy-builder" package

In this section, we are going to explain the necessary steps to uninstall libcoq-hierarchy-builder on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-hierarchy-builder
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-hierarchy-builder package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcoq-hierarchy-builder
Architecture: amd64
Version: 1.3.0-1
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: 638
Provides: libcoq-hierarchy-builder-t0m74
Depends: libcoq-elpi-wc9p0
Recommends: ocaml-findlib
Filename: pool/universe/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.3.0-1_amd64.deb
Size: 248724
MD5sum: 456d1a1461053cbfe042e5631be49e4e
SHA1: debe7346c7f1c5c70c56775fbe639db3654ead14
SHA256: f3cdceea174946be50ba677f8bbd2986e48bdc9c53ac5e1e3f353d415b943946
SHA512: 8bc41d340be3c60d707b4a8f3b76a3643b82b140a2cb4461a39219fcd8231ba71df27e80c7c6996ceb5fc1fb1088e5350857081a34e1309932ea735c83d3d727
Homepage: https://github.com/math-comp/hierarchy-builder
Description: build hierarchies of algebraic structures in Coq (runtime files)
Description-md5: 2abfdabc785c18da7923821ab30857ab