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

Last updated: November 22,2024

You can also install and uninstall the 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 "acl2" package

Here is a brief guide to show you how to install acl2 on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                acl2
            
                    
    
    Copied

2. Uninstall "acl2" package

Please follow the guidance below to uninstall acl2 on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                acl2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: acl2
Architecture: amd64
Version: 8.4dfsg-2
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Camm Maguire
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 244190
Depends: libc6 (>= 2.34), libedit2 (>= 2.11-20080614-0), libgmp10, libtirpc3 (>= 1.0.2), libx11-6
Recommends: acl2-source, acl2-books
Suggests: elpa-acl2
Filename: pool/universe/a/acl2/acl2_8.4dfsg-2_amd64.deb
Size: 26133150
MD5sum: 5a81416a07d27616305b6772bc3fb7a4
SHA1: fc3f2169a430d6e7e893de81e58a3d1fe04ab0b0
SHA256: 52bbf1bc6d3dc858f4943d88b46ea97f3da25cbf9c0a95a6f1f937664f621824
SHA512: 707290e3a5c60f19709535d5fe0613ce96fd323c5d880457daed0c2307665fc6900c0e93a71145a6e8c7b1442057489b1eb2521e6c5adae5e0382b26e3afa26c
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: main binary
Description-md5: 11f9e97229e3c77927e661525096d127