How to Install and Uninstall menhir Package on Ubuntu 21.10 (Impish Indri)

Last updated: December 27,2024

1. Install "menhir" package

Please follow the instructions below to install menhir on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                menhir
            
                    
    
    Copied

2. Uninstall "menhir" package

Here is a brief guide to show you how to uninstall menhir on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                menhir
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the menhir package on Ubuntu 21.10 (Impish Indri)

Package: menhir
Architecture: amd64
Version: 20201216-1
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3371
Depends: libc6 (>= 2.29)
Suggests: menhir-doc
Filename: pool/universe/m/menhir/menhir_20201216-1_amd64.deb
Size: 849888
MD5sum: bc9f25aed51851f393f560ffd12158dd
SHA1: ada4fcbd9b35d9608dc011ec51a55d6a6b2a1d02
SHA256: 40ebf6b973fcc7dc917984720d01be753305e2d015154c6cb2b25626aed38f95
SHA512: 8a3b6d79a016368b3108764363828b2d73987d34f6ffe8f898581d721586a290e778bc7810de6cc1043c7c6603252d4d4a31f17260cc725bc3f5e8dc33f105ba
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description-en: Parser generator for OCaml
Menhir is a LR(1) parser generator for the OCaml programming language.
It is mostly compatible with the ocamlyacc parser generator provided with
the OCaml system, and has the following enhancements over ocamlyacc:
* it accepts LR(1) grammars,
* it offers parameterized nonterminal symbols as well as a library of
standard definitions,
* it explains conflicts in terms of the grammar,
* it allows grammar specifications to be split over multiple files and
parametrized by OCaml modules,
* it produces reentrant parsers.
Description-md5: eb72870474ecd3a5b03e7e1f8f3c8a41