How to Install and Uninstall menhir-doc Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 22,2024

1. Install "menhir-doc" package

Please follow the guidelines below to install menhir-doc on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                menhir-doc
            
                    
    
    Copied

2. Uninstall "menhir-doc" package

Please follow the steps below to uninstall menhir-doc on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                menhir-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the menhir-doc package on Ubuntu 22.10 (Kinetic Kudu)

Package: menhir-doc
Architecture: all
Version: 20220210+ds-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: 781
Breaks: menhir (<< 20170712-1)
Replaces: menhir (<< 20170712-1)
Filename: pool/universe/m/menhir/menhir-doc_20220210+ds-2_all.deb
Size: 449118
MD5sum: b617b50d3cfeeab0b71c6dcaac62ae0c
SHA1: 5594195461fe79ae0b7d06da0dd7d37c82ef8a92
SHA256: 426c6ca6723c3c9f419e55b0e00344317a5c79bf0a415ca9c3cd816d3f3c1732
SHA512: 81eeb6adacecd0f72db6270b2b8fb442af557474f027bafd851c9bdb3ac694165f8c2f8ce23aa964958bb1f520bb7602e5bd60a6fad2f3718dbd70c500db5d56
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Documentation of the Menhir parser generator for OCaml
Description-md5: 91dbeecec9865908a9e2366645d8e7b8