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

Last updated: May 13,2024

1. Install "coq-hierarchy-builder" package

Here is a brief guide to show you how to install coq-hierarchy-builder on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                coq-hierarchy-builder
            
                    
    
    Copied

2. Uninstall "coq-hierarchy-builder" package

Please follow the guidelines below to uninstall coq-hierarchy-builder on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-hierarchy-builder
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: coq-hierarchy-builder
Architecture: amd64
Version: 1.3.0-1
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2099
Depends: libcoq-hierarchy-builder (= 1.3.0-1), ocaml-nox
Filename: pool/universe/c/coq-hierarchy-builder/coq-hierarchy-builder_1.3.0-1_amd64.deb
Size: 776934
MD5sum: 9fd88ec16c89e1b9f39985430cfa269f
SHA1: 31f0e64034ec482e2164e5a1bf4a0b2005dce925
SHA256: 81752118675c4a6b9384f725d7ed6bfa303c48d58cb7b22d0c79d342acdb862b
SHA512: 846a8ccc28052b94cb10e84d8e06d66677705b686c2c149fb1bdf73459d151d4aaedc2e2bf5c0d2b5c7f06b77428a6fca36fe6649486c49219ea47871568f5ed
Homepage: https://github.com/math-comp/hierarchy-builder
Description: build hierarchies of algebraic structures in Coq (tool)
Description-md5: 658973fab18f432ee86a3dec272a1700