How to Install and Uninstall menhir Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 16,2024

1. Install "menhir" package

Here is a brief guide to show you how to install menhir on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                menhir
            
                    
    
    Copied

2. Uninstall "menhir" package

This is a short guide on how to uninstall menhir on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                menhir
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the menhir package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: menhir
Priority: optional
Section: universe/devel
Installed-Size: 2427
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: amd64
Version: 20151112.dfsg-1
Depends: libc6 (>= 2.15)
Filename: pool/universe/m/menhir/menhir_20151112.dfsg-1_amd64.deb
Size: 594252
MD5sum: d7804b372dba1a55c5277ae1a877cb76
SHA1: 7e6a53c69bbea71e9cb4293cf8f06ef50c0f27f9
SHA256: ab201f48383748d4dfa2cfafe4fc877271ee859a4c167da785d04401d2ce15dd
Description-en: Parser generator for OCaml
Menhir is a LR(1) parser generator for OCaml. It is mostly compatible
with the standard ocamlyacc and has the following enhancements:
* 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: 15ec281ac651e70356ad707947361111
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu