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

Last updated: November 22,2024

1. Install "libcoq-hierarchy-builder" package

Here is a brief guide to show you how to install libcoq-hierarchy-builder on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                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 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-hierarchy-builder
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-hierarchy-builder
Architecture: amd64
Version: 1.4.0-6build5
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: 693
Provides: libcoq-hierarchy-builder-j8ws8
Depends: libcoq-elpi-akdl0
Recommends: ocaml-findlib
Filename: pool/universe/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.4.0-6build5_amd64.deb
Size: 266450
MD5sum: 5ef6e7227976f10b79518c973b31785a
SHA1: 8197ba4b8d4e97cfdc2df6a9f9900f89da474730
SHA256: 21807e4d137e4dd75bb01fe5d80deeee899248a197616f9f80ad2f2df71647ee
SHA512: f79a62e863f06888b5d9e3866e4e8a5405ffe0c0001383955437921b0b0823a2f24c09e687f7fb7abc122c88abd3aeebf609aacf391a656d9ffb13aa56177453
Homepage: https://github.com/math-comp/hierarchy-builder
Description: build hierarchies of algebraic structures in Coq (runtime files)
Description-md5: 2abfdabc785c18da7923821ab30857ab