How to Install and Uninstall elpa-ediprolog Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 28,2024

1. Install "elpa-ediprolog" package

This tutorial shows how to install elpa-ediprolog on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-ediprolog
            
                    
    
    Copied

2. Uninstall "elpa-ediprolog" package

This tutorial shows how to uninstall elpa-ediprolog on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-ediprolog
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-ediprolog package on Ubuntu 22.10 (Kinetic Kudu)

Package: elpa-ediprolog
Architecture: all
Version: 2.1-1
Priority: optional
Section: universe/lisp
Source: ediprolog-el
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Emacsen team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 55
Depends: dh-elpa-helper, emacsen-common, swi-prolog-nox
Recommends: emacs (>= 46.0)
Enhances: emacs
Filename: pool/universe/e/ediprolog-el/elpa-ediprolog_2.1-1_all.deb
Size: 10260
MD5sum: d30e9f0695b8eb89e6227f4a17b7d84e
SHA1: c6da20792de31be0a7499b72bde49c8237cf2a3f
SHA256: 690a17755b7056698a7fdf3d23b9f44db1ec213bfe48f67546ab00b90fc23c7d
SHA512: 69652f5ed5e18d2782005eeaf5c7d6c54ebd702f1d9b163663e4e7cea75f11ead3e2dd0b407431fdca865431d385e88380c178bf6da62fb5e88f4237d28d257f
Homepage: https://elpa.gnu.org/packages/ediprolog.html
Description: Emacs Does Interactive Prolog
Description-md5: bea1d38cc3194c1584f151fc5fec1358