How to Install and Uninstall acl2 Package on Linux Mint 20.3 (Una)

Last updated: February 24,2025

1. Install "acl2" package

This guide let you learn how to install acl2 on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                acl2
            
                    
    
    Copied

2. Uninstall "acl2" package

This is a short guide on how to uninstall acl2 on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                acl2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the acl2 package on Linux Mint 20.3 (Una)

Package: acl2
Architecture: amd64
Version: 8.2dfsg-3build1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Camm Maguire
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 240888
Depends: libc6 (>= 2.29), libgmp10, libreadline8 (>= 6.0), libx11-6
Recommends: acl2-source, acl2-books
Suggests: acl2-emacs
Filename: pool/universe/a/acl2/acl2_8.2dfsg-3build1_amd64.deb
Size: 21932904
MD5sum: 28dcc8e1dcfc55df0d9e19193b13bb70
SHA1: c423198acc8270de62952ed04307c4547244c170
SHA256: 1b52b9552ecd82dd5922025a4775f0f497af9d4831dc65bc7f2a477c3c31805f
Description: Computational Logic for Applicative Common Lisp: main binary
Description-md5: 11f9e97229e3c77927e661525096d127