How to Install and Uninstall libcoq-menhirlib Package on Debian 12 (Bookworm)

Last updated: December 24,2024

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

MX Linux 23
SparkyLinux

1. Install "libcoq-menhirlib" package

Please follow the step by step instructions below to install libcoq-menhirlib on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-menhirlib
            
                    
    
    Copied

2. Uninstall "libcoq-menhirlib" package

This tutorial shows how to uninstall libcoq-menhirlib on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-menhirlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-menhirlib package on Debian 12 (Bookworm)

Package: libcoq-menhirlib
Source: coq-menhirlib (20220210+ds-4)
Version: 20220210+ds-4+b1
Installed-Size: 5776
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-menhirlib-tor27
Depends: libcoq-stdlib-ewsr6
Description: support library for Coq-verified Menhir parsers
Description-md5: 8d891c64cbef7d99c8b89663d921d672
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20220210+ds-4+b1_amd64.deb
Size: 1467672
MD5sum: 6f5a4f65e4b2a77f87473fbf9f72e4de
SHA256: dd27feac82a561d9c129364a03844b44b93515ad5ed499ad2065d9b39efcda3b