How to Install and Uninstall libcoq-elpi-ocaml Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 02,2024

1. Install "libcoq-elpi-ocaml" package

Learn how to install libcoq-elpi-ocaml on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-elpi-ocaml
            
                    
    
    Copied

2. Uninstall "libcoq-elpi-ocaml" package

Learn how to uninstall libcoq-elpi-ocaml on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-elpi-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-elpi-ocaml package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcoq-elpi-ocaml
Architecture: amd64
Version: 1.14.0-5build1
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: 26111
Provides: libcoq-elpi-ocaml-my8u0
Depends: libcoq-core-ocaml-ifas5, libelpi-ocaml-tbub1, libppx-deriving-ocaml-rdnx1, libzarith-ocaml-4dps0, ocaml-base-4.13.1
Recommends: libcoq-elpi
Filename: pool/universe/c/coq-elpi/libcoq-elpi-ocaml_1.14.0-5build1_amd64.deb
Size: 8344932
MD5sum: 35c2c3342da4014603b4023981a1fdcf
SHA1: 502b0ba8d2999de5df34b20bca33f0e6211e6c44
SHA256: 4544cc7839eb02f896e2a1c82d02cac393b376ed3d859b64e39cd09b612481e3
SHA512: 9c5c8e94054eab98972250571571c6f3700bb0040aeb008eb682d8f9be04ab1bae44bdef39ea15e3704eb0f1468e0d27c184f4d92cfe59f8ba252d577c76412d
Homepage: https://github.com/LPCIC/coq-elpi
Description: Coq plugin embedding Elpi (runtime)
Description-md5: 6b3f4d3cc2f5c92159110324ccdb3b90