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

Last updated: December 24,2024

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

Please follow the guidance below to install acl2-books-source on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                acl2-books-source
            
                    
    
    Copied

2. Uninstall "acl2-books-source" package

This tutorial shows how to uninstall acl2-books-source on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                acl2-books-source
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: acl2-books-source
Architecture: all
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: 192423
Depends: acl2 (>= 8.4dfsg-2), tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-books-source_8.4dfsg-2_all.deb
Size: 22136204
MD5sum: bdac833b2be3cfa7afeac7fef92ec100
SHA1: ccdf7e6e2d023df946f6471e99847eccb401a80b
SHA256: cc375903823ca76d8cb49e38368c84c409c059f30fd1f172e4b221f9c8ad309e
SHA512: 12afea7ba193577aaa1cb741b2e5daf7433135783e759436e37733ce07b4dad621bdad9fcf374a15f0bc2a9be6de7a8b09768e152a9876efdc316a3038356bab
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: library sources
Description-md5: 08e659cca46334f8267d3b949c74e9c4