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

Last updated: December 25,2024

1. Install "libcoq-elpi" package

Here is a brief guide to show you how to install libcoq-elpi on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-elpi
            
                    
    
    Copied

2. Uninstall "libcoq-elpi" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-elpi
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-elpi
Architecture: amd64
Version: 1.19.3-2build1
Priority: optional
Section: universe/ocaml
Source: coq-elpi
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 19270
Provides: libcoq-elpi-01cx3
Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-ncp86, libcoq-core-ocaml-fg9y1, libelpi-ocaml-a4fh3, libstdlib-ocaml-ep7y0, libzarith-ocaml-zlfv4
Filename: pool/universe/c/coq-elpi/libcoq-elpi_1.19.3-2build1_amd64.deb
Size: 3178832
MD5sum: d2bbe08fbc9fb0c7bb88b558ee33fe0d
SHA1: 4597e96352ef77d3f4ec36e4895b467c74133133
SHA256: 9b65b4a546db963eba83d8ac161f49e269482a47ca34330b3c8c69ecbf31fe52
SHA512: d4dfeda47106524ea97cf1c4bb793e8db59201c1a7ec914bb3120d45cc2acfd7aa521fe316255af69a3740242c1e478c9bd3c771606b438931993af13115f1b6
Homepage: https://github.com/LPCIC/coq-elpi
Description: Coq plugin embedding Elpi
Description-md5: ff0392105ab4f5504e712b1b6f15deec