How to Install and Uninstall menhir-doc Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: July 07,2024

1. Install "menhir-doc" package

Learn how to install menhir-doc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                menhir-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the menhir-doc package on Ubuntu 23.10 (Mantic Minotaur)

Package: menhir-doc
Architecture: all
Version: 20230608+ds-1
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: 779
Filename: pool/universe/m/menhir/menhir-doc_20230608+ds-1_all.deb
Size: 450160
MD5sum: 72f1d3103301e26d31e502c58dc695a4
SHA1: 75b32f990aa5ccb38956f430ab785bf369154863
SHA256: a930d82e59c73c8a00852631ae7473e89348e94e7c12acb101c8c35296742bfa
SHA512: 83773ab216533414d81ca8a33a2801fa8c5a3af8bd410482a36c8835271f417faf44832275104151f2987f3b2dc152d55e3fd394b8dd4ff30638b3301ac22198
Homepage: https://gallium.inria.fr/~fpottier/menhir/
Description: Documentation of the Menhir parser generator for OCaml
Description-md5: 91dbeecec9865908a9e2366645d8e7b8