How to Install and Uninstall coq-hierarchy-builder Package on Linux Mint 21.3 (Virginia)

Last updated: May 13,2024

1. Install "coq-hierarchy-builder" package

This guide covers the steps necessary to install coq-hierarchy-builder on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                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 Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                coq-hierarchy-builder
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the coq-hierarchy-builder package on Linux Mint 21.3 (Virginia)

Package: coq-hierarchy-builder
Architecture: amd64
Version: 1.2.1-2
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.2.1-2), ocaml-nox
Filename: pool/universe/c/coq-hierarchy-builder/coq-hierarchy-builder_1.2.1-2_amd64.deb
Size: 778196
MD5sum: 6efec5c000a155158ee837e17ab86c7e
SHA1: 9f2e8aabca535610eca8b0b7a47851e58b08383f
SHA256: 412cabcd15be9d309434b61fa5fa1c2a21088affbd5059f9d4e51eb43e197155
SHA512: 5e95871a9456dcc205e030b79537a1d6dbe1faf3cdf0ab1cb60a56b96d769655a220398141f24e48b281443548b3c7a094a5008da4e20765aa59cfdb316b2802
Homepage: https://github.com/math-comp/hierarchy-builder
Description: build hierarchies of algebraic structures in Coq (tool)
Description-md5: 658973fab18f432ee86a3dec272a1700