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

Last updated: April 27,2024

1. Install "acl2-source" package

This guide covers the steps necessary to install acl2-source on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                acl2-source
            
                    
    
    Copied

2. Uninstall "acl2-source" package

This tutorial shows how to uninstall acl2-source on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                acl2-source
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the acl2-source package on Ubuntu 22.10 (Kinetic Kudu)

Package: acl2-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: 18844
Depends: tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-source_8.5dfsg-1_all.deb
Size: 3652106
MD5sum: b6273fab7a1157a93d236dd959f3aa14
SHA1: 484319ac3ed9954a760c55f9a1c77b53178eb068
SHA256: 212ecff0977e60ee84ad0437ebcc10fa11266453e5be7174e0b6c55b9979a48a
SHA512: 5a1e788892a587ac71d34c608d25c44d3ef4f63d2c3a21c02dc9562a8c2d75388c4cecf2d01faef8b2bee5c99939ef06c17d6f9993da25939b2153e2270958d0
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: source files
Description-md5: 24b72fcd3b9c9afee8776f2d281499a4