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

Last updated: May 02,2024

1. Install "libcoq-elpi-ocaml-dev" package

Please follow the guidance below to install libcoq-elpi-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-elpi-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libcoq-elpi-ocaml-dev" package

Please follow the guidelines below to uninstall libcoq-elpi-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-elpi-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-elpi-ocaml-dev
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: 5875
Provides: libcoq-elpi-ocaml-dev-my8u0
Depends: libcoq-core-ocaml-dev-ifas5, libcoq-elpi-ocaml-my8u0, libelpi-ocaml-dev-tbub1, libmenhir-ocaml-dev-dyfe5, libppx-deriving-ocaml-dev-rdnx1, libre-ocaml-dev-w4yg7, libzarith-ocaml-dev-4dps0, ocaml-4.13.1, libcoq-elpi-ocaml (= 1.14.0-5build1)
Filename: pool/universe/c/coq-elpi/libcoq-elpi-ocaml-dev_1.14.0-5build1_amd64.deb
Size: 1700784
MD5sum: 14c36277443f1d56bec50021f6fc1d5f
SHA1: 10700f4677a8379aceb2d8883be2408abed59f5b
SHA256: 768ded3af971d19f5131d7a6f13ac1b310f4fa7cae41fafce9f18cfb527a8796
SHA512: 997c6f343c65889c9da48e0f30bf842f8ad3e4cf4c723d201af3a23db4aeba59ce7fc0660ab3da9f589a53f440b8274892098f439ae9f11e71d3f75cec73ed57
Homepage: https://github.com/LPCIC/coq-elpi
Description: Coq plugin embedding Elpi (devel)
Description-md5: 921a00dd97c8664abed4426a51c9899e