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

Last updated: December 27,2024

1. Install "menhir" package

This guide let you learn how to install menhir on Ubuntu 20.04 LTS (Focal Fossa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                menhir
            
                    
    
    Copied

2. Uninstall "menhir" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                menhir
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: menhir
Architecture: amd64
Version: 20200123-2
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3439
Depends: libc6 (>= 2.29)
Suggests: menhir-doc
Filename: pool/universe/m/menhir/menhir_20200123-2_amd64.deb
Size: 794324
MD5sum: 7aa31b0b3f8933abc7f8307d6b73508d
SHA1: 594fdf0f87886199cb94dc4afa8a3b1e5a119745
SHA256: 2ef3a24bb8433065b6976d2a4eda175b689862079b4f8bdc06f00918f79c0897
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Parser generator for OCaml
Description-md5: eb72870474ecd3a5b03e7e1f8f3c8a41