How to Install and Uninstall menhir Package on Debian 12 (Bookworm)

Last updated: November 22,2024

You can also install and uninstall the menhir on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "menhir" package

Please follow the instructions below to install menhir on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                menhir
            
                    
    
    Copied

2. Uninstall "menhir" package

Please follow the instructions below to uninstall menhir on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                menhir
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the menhir package on Debian 12 (Bookworm)

Package: menhir
Version: 20220210+ds-2
Installed-Size: 4600
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: libc6 (>= 2.33)
Suggests: menhir-doc
Description: Parser generator for OCaml
Description-md5: eb72870474ecd3a5b03e7e1f8f3c8a41
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Tag: devel::code-generator, devel::lang:ocaml, implemented-in::ocaml,
interface::commandline, role::program, scope::utility
Section: devel
Priority: optional
Filename: pool/main/m/menhir/menhir_20220210+ds-2_amd64.deb
Size: 1141920
MD5sum: 649d0a8de4be9b60cce2a9ffd9b65be6
SHA256: b56a0d9fae3813f24cd9362f344aa160022d25759b10981dae2158759842d5ff