How to Install and Uninstall libelpi-ocaml Package on Linux Mint 21.3 (Virginia)

Last updated: November 25,2024

1. Install "libelpi-ocaml" package

This tutorial shows how to install libelpi-ocaml on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libelpi-ocaml
            
                    
    
    Copied

2. Uninstall "libelpi-ocaml" package

Please follow the steps below to uninstall libelpi-ocaml on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libelpi-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libelpi-ocaml package on Linux Mint 21.3 (Virginia)

Package: libelpi-ocaml
Architecture: amd64
Version: 1.14.1-1
Priority: optional
Section: universe/ocaml
Source: elpi
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7399
Provides: libelpi-ocaml-qbtp4
Depends: libppx-deriving-ocaml-rdnx1, libsexplib0-ocaml-l23l7, ocaml-base-4.13.1
Recommends: ocaml-findlib
Filename: pool/universe/e/elpi/libelpi-ocaml_1.14.1-1_amd64.deb
Size: 2416776
MD5sum: 5fa4b3d7a996c9f840878e4ed3cfa20c
SHA1: 35be356471358573319d9541565fed4131164730
SHA256: dd8996e27765ec67f2211a4038d1960f541e66a1cfe246573bfec066d8cab288
SHA512: 1527093ebaf675ea5deec02b70e839bb0fe2f18657141d0c99f304c5628136de5eee802d6c4f2ddb41820b747da5544f3d1ed576c2f3c7be90ba2310b5c3a6a3
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (runtime files)
Description-md5: 0a4257b4ca0c21955588fd0e34cff492