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

Last updated: May 05,2024

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

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                acl2-books-certs
            
                    
    
    Copied

2. Uninstall "acl2-books-certs" package

This is a short guide on how to uninstall acl2-books-certs on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                acl2-books-certs
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: acl2-books-certs
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: 645545
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-certs_8.4dfsg-2_all.deb
Size: 231831222
MD5sum: 14e5cd7419c8983c95836c2c619eaa65
SHA1: 3a26e04b417206ca52c5a4a3ea3221773e2ec3a1
SHA256: 7020630da62b6dc1bf6b9fa0f9298782786f62c2446c782985acec3c0a5759ad
SHA512: 5654db6d35e150cc40163cd621eeda3839a68ad94ee2512ed86931b05d38ddaaf52ba0bdd1649a30840ce25fa61cf203b41a53a44a8e4d7b329fe7cc66d0080a
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: library certificates
Description-md5: 6db199e882f251b453acf7d17c15ece3