How to Install and Uninstall menhir-doc Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: May 15,2024

1. Install "menhir-doc" package

This is a short guide on how to install menhir-doc on Ubuntu 20.04 LTS (Focal Fossa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                menhir-doc
            
                    
    
    Copied

2. Uninstall "menhir-doc" package

Please follow the instructions below to uninstall menhir-doc on Ubuntu 20.04 LTS (Focal Fossa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                menhir-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the menhir-doc package on Ubuntu 20.04 LTS (Focal Fossa)

Package: menhir-doc
Architecture: all
Version: 20200123-2
Multi-Arch: foreign
Priority: optional
Section: universe/doc
Source: menhir
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 839
Breaks: menhir (<< 20170712-1)
Replaces: menhir (<< 20170712-1)
Filename: pool/universe/m/menhir/menhir-doc_20200123-2_all.deb
Size: 535400
MD5sum: b173f6bb8c34fc368562d898c0c97f3f
SHA1: f579ccc4bbb2297129267ae2b94d6ac5c13cd508
SHA256: 7743fd342d97e4210d29e01560732f2c8c98cfdfc4b80330771d3d51d35699c0
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Documentation of the Menhir parser generator for OCaml
Description-md5: 91dbeecec9865908a9e2366645d8e7b8