How to Install and Uninstall libmenhir-ocaml-dev Package on Debian 12 (Bookworm)

Last updated: January 10,2025

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

MX Linux 23
SparkyLinux

1. Install "libmenhir-ocaml-dev" package

Please follow the guidance below to install libmenhir-ocaml-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libmenhir-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libmenhir-ocaml-dev" package

Please follow the guidelines below to uninstall libmenhir-ocaml-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libmenhir-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libmenhir-ocaml-dev package on Debian 12 (Bookworm)

Package: libmenhir-ocaml-dev
Source: menhir
Version: 20220210+ds-2
Installed-Size: 2389
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libmenhir-ocaml-dev-dyfe5
Depends: ocaml-4.13.1
Suggests: ocaml-findlib
Description: Menhir library for OCaml
Description-md5: 477c47ea99fa9e825953cf0002c2609d
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Tag: devel::code-generator, devel::lang:ocaml, devel::library,
implemented-in::ocaml, role::devel-lib
Section: ocaml
Priority: optional
Filename: pool/main/m/menhir/libmenhir-ocaml-dev_20220210+ds-2_amd64.deb
Size: 533244
MD5sum: ddf5edcb51e8559c79388e3dc797b888
SHA256: f821dc649f4259d05cd08b2de0ca4953406e4e60200a4d9a10b4cf63feab75de