How to Install and Uninstall libcoq-elpi-ocaml-dev Package on Linux Mint 21.3 (Virginia)

Last updated: December 23,2024

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

Please follow the instructions below to install libcoq-elpi-ocaml-dev on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-elpi-ocaml-dev
            
                    
    
    Copied

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

Learn how to uninstall libcoq-elpi-ocaml-dev on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                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 Linux Mint 21.3 (Virginia)

Package: libcoq-elpi-ocaml-dev
Architecture: amd64
Version: 1.13.0-1
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: 5652
Provides: libcoq-elpi-ocaml-dev-780a9
Depends: libcoq-elpi-ocaml (= 1.13.0-1)
Filename: pool/universe/c/coq-elpi/libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb
Size: 1711524
MD5sum: 14bd5e377d054eb2921fbfe3a501e61d
SHA1: ab3094aea8813c23bcf61e187b259dde92977c25
SHA256: 3583cf93a7d3280f621eaf0906eeddb3d56106e3f533ae292b91041f1b1ed496
SHA512: 9be41ef79ec7289554220f19a5eafec842b5d031586749a655ea9ac58496a5ebcd15f5a7dcbf0320179a870175d8028c789c041af2cd64ba0edca11e09e4e8bc
Homepage: https://github.com/LPCIC/coq-elpi
Description: Coq plugin embedding Elpi (devel)
Description-md5: 921a00dd97c8664abed4426a51c9899e