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

Last updated: May 08,2024

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

Please follow the step by step instructions below to install acl2-doc on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                acl2-doc
            
                    
    
    Copied

2. Uninstall "acl2-doc" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                acl2-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: acl2-doc
Architecture: all
Version: 8.4dfsg-2
Priority: optional
Section: universe/doc
Source: acl2
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Camm Maguire
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1362
Depends: tex-common (>= 6.13), dpkg (>= 1.15.4) | install-info
Filename: pool/universe/a/acl2/acl2-doc_8.4dfsg-2_all.deb
Size: 451656
MD5sum: 34e84e346de1bf1b5694e113097603fe
SHA1: e31e57cdf6870f0bfccc7d7d816288df542857c7
SHA256: f30332b52b1ee21878fcc405ac3de6dc93461c75112e8fbb55365b35e0be164e
SHA512: 6581e4e39127a06243cdeb4d2ede7a1e1f29eab4506b12b62ef397def77d3cd7f9becf3fdbe63a61efc800e0ea362320df142ccd9f6bacfd807413ec7ac9f654
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: documentation
Description-md5: 5c7f73fe4a8d5c6db72b616db6a620bc