How to Install and Uninstall libelpi-ocaml Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 07,2024

1. Install "libelpi-ocaml" package

This tutorial shows how to install libelpi-ocaml on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libelpi-ocaml
            
                    
    
    Copied

2. Uninstall "libelpi-ocaml" package

Please follow the step by step instructions below to uninstall libelpi-ocaml on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libelpi-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libelpi-ocaml package on Ubuntu 23.10 (Mantic Minotaur)

Package: libelpi-ocaml
Architecture: amd64
Version: 1.17.0-1build4
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: 15510
Provides: libelpi-ocaml-n86w6
Depends: libppx-deriving-ocaml-y2y98, libsexplib0-ocaml-2pf81, libstdlib-ocaml-lqmb5, ocaml-base-4.13.1
Recommends: ocaml-findlib
Filename: pool/universe/e/elpi/libelpi-ocaml_1.17.0-1build4_amd64.deb
Size: 4832444
MD5sum: 77f319d27afb9dbefad218078c9c0201
SHA1: 86e0f17ec8e0159b9644929e814a0328e2a35390
SHA256: 047042fb2d17ea42ba1ed3b24c0102851c5050295aa5e9d46de7338457a953a2
SHA512: 77aef76003ddff8a43b1da766c4163d1de07f984ff7d77cde9dce6f3d8f475c838fd6209d4cae7b24bb28391cd839cf9eb638665b9b7095670e1269261b6308e
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (runtime files)
Description-md5: 0a4257b4ca0c21955588fd0e34cff492