How to Install and Uninstall acl2-books-source Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 09,2024

1. Install "acl2-books-source" package

This is a short guide on how to install acl2-books-source on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                acl2-books-source
            
                    
    
    Copied

2. Uninstall "acl2-books-source" package

In this section, we are going to explain the necessary steps to uninstall acl2-books-source on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                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.10 (Kinetic Kudu)

Package: acl2-books-source
Architecture: all
Version: 8.5dfsg-1
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: 207241
Depends: acl2 (>= 8.5dfsg-1), tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-books-source_8.5dfsg-1_all.deb
Size: 23843754
MD5sum: 5258e3054aac33084685c88fb6439fb6
SHA1: ec16b905d8c00ad7a3da930b9d4dc678e008d56e
SHA256: f16bec393f2a235d213b748cb7edeb5f2205e5c540dfec856c66d28e8e58dcda
SHA512: 63a60593635aab942d2ffcbfecded5ff29014c0290e3dfa62936fe8a1b5e5537b1080ef01c35541af15207a8eaaa113d973e7729fed5488a55287d27a7dac0c8
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: library sources
Description-md5: 08e659cca46334f8267d3b949c74e9c4