How to Install and Uninstall elpa-acl2 Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 05,2024

You can also install and uninstall the elpa-acl2 on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "elpa-acl2" package

This guide covers the steps necessary to install elpa-acl2 on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-acl2
            
                    
    
    Copied

2. Uninstall "elpa-acl2" package

This guide covers the steps necessary to uninstall elpa-acl2 on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-acl2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-acl2 package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: elpa-acl2
Architecture: all
Version: 8.4dfsg-2
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: 350
Depends: acl2 (>= 8.4dfsg-2), 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.4dfsg-2_all.deb
Size: 70790
MD5sum: 61ec8c8d12cd8705bb0d8a2601088503
SHA1: 72485a48e450945603b6ccd2a73c79dd0a6f20ef
SHA256: 9fddaa23a916f90a50e64150985b7d94d2741c3bb92581e2d50966061e9f97fd
SHA512: c7c3d10d5b7e98e0854cea0c16bd5096aaac025cc0b6258425d5c432eb36577bc0d7668de4826e6cb37a7a535dc08355f6dadf0710177cb23c0a36bdc201dbac
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: emacs interface
Description-md5: 785e47d860f1b215d53efbb4f2bef1fc