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

Last updated: May 06,2024

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

Learn how to install acl2-books on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                acl2-books
            
                    
    
    Copied

2. Uninstall "acl2-books" package

In this section, we are going to explain the necessary steps to uninstall acl2-books on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                acl2-books
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: acl2-books
Architecture: amd64
Version: 8.4dfsg-2
Priority: optional
Section: universe/math
Source: acl2
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Camm Maguire
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2443734
Depends: acl2 (= 8.4dfsg-2), acl2-books-certs (= 8.4dfsg-2), acl2-books-source (= 8.4dfsg-2)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-books_8.4dfsg-2_amd64.deb
Size: 353947352
MD5sum: c29f33ee7c72530dc4673b281f8a7c4f
SHA1: d11ad8e45be9582e2be8323e67419ed6040635e2
SHA256: a92915e7e31f7af858b7882ef671d742d8763b58c4af8ef0e419e44dbb0c89ce
SHA512: cdd2b80e39375aabc7ca599e9d1a49de34f393165c82aded59a2f43d172d289dd33efdf10b15216dd60b23a0c7d0ec649cf8403e73f7779c129ce0cb7f0e473b
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: compiled libraries
Description-md5: b254130a33041ec03320e5001226eff7