How to Install and Uninstall libcoq-menhirlib Package on Kali Linux

Last updated: November 26,2024

1. Install "libcoq-menhirlib" package

Please follow the instructions below to install libcoq-menhirlib on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-menhirlib
            
                    
    
    Copied

2. Uninstall "libcoq-menhirlib" package

This guide covers the steps necessary to uninstall libcoq-menhirlib on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-menhirlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-menhirlib package on Kali Linux

Package: libcoq-menhirlib
Source: coq-menhirlib
Version: 20231231+ds-1
Installed-Size: 4896
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-menhirlib-pun04
Depends: libcoq-stdlib-6gs52
Size: 1265844
SHA256: 6c944107c4f175618092cf4991ba4ffca0f7cbb193d0b2a02af457036c3356be
SHA1: 33e49feedaf8e9ea83d730a2f22b3696f26a442f
MD5sum: a496b66f994f79cb88d12246cd0a0f38
Description: support library for Coq-verified Menhir parsers
This package provides a support library for verified
Coq parsers produced by Menhir.
.
Menhir is a LR(1) parser generator for the OCaml programming
language and Coq is a proof assistant for higher-order logic.
Description-md5:
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20231231+ds-1_amd64.deb