How to Install and Uninstall libcoq-menhirlib Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 18,2024

1. Install "libcoq-menhirlib" package

Please follow the guidance below to install libcoq-menhirlib on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-menhirlib
            
                    
    
    Copied

2. Uninstall "libcoq-menhirlib" package

Please follow the steps below to uninstall libcoq-menhirlib on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-menhirlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-menhirlib package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-menhirlib
Architecture: amd64
Version: 20231231+ds-1
Priority: optional
Section: universe/ocaml
Source: coq-menhirlib
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4896
Provides: libcoq-menhirlib-ew2y2
Depends: libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-menhirlib/libcoq-menhirlib_20231231+ds-1_amd64.deb
Size: 1508542
MD5sum: b3fb8bc026cf7bba71348d820431c9d1
SHA1: 689ab4746b7720f51dda28dad02b6d2f0f4f03d0
SHA256: a16807fe13021cf6198a5aaabaa69482e6f03d41bcebdcc3a02fb5f63da72ab5
SHA512: 80b55cad6ec5820ea5042895c1fd805842a78df9c7d958a0c27278129680ff755910606dadfc3d834df07168d9940da0722bd66e3d703be322725c14e349e2d7
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Description: support library for Coq-verified Menhir parsers
Description-md5: 8d891c64cbef7d99c8b89663d921d672