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

Last updated: December 23,2024

1. Install "elpa-acl2" package

This guide let you learn how to install elpa-acl2 on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-acl2
            
                    
    
    Copied

2. Uninstall "elpa-acl2" package

Please follow the step by step instructions below to uninstall elpa-acl2 on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-acl2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: elpa-acl2
Architecture: all
Version: 8.5dfsg-1
Priority: optional
Section: universe/lisp
Source: acl2
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Camm Maguire
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 357
Depends: acl2 (>= 8.5dfsg-1), emacs-gtk | emacsen, dh-elpa-helper, emacsen-common, tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/elpa-acl2_8.5dfsg-1_all.deb
Size: 71952
MD5sum: 7616c96792bdf7abd96a04d802281349
SHA1: 3788c401656236a1e42a7d1b099be22d6a3c548f
SHA256: 6d121f9c4979e55fc736b4ee5575c8e142f7801fe7664f06685e10b849e07475
SHA512: 2fabdbac355b3f640fc8774325ae7873e4bc51d8d6bc34040961d8150b7a092bd8bccbad25ef8202f6de644d5c75527ab4fc81470fb0f28a166d5ffb3db6b568
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: emacs interface
Description-md5: 785e47d860f1b215d53efbb4f2bef1fc