How to Install and Uninstall acl2 Package on Debian 12 (Bookworm)

Last updated: May 11,2024

You can also install and uninstall the acl2 on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "acl2" package

This guide let you learn how to install acl2 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                acl2
            
                    
    
    Copied

2. Uninstall "acl2" package

Here is a brief guide to show you how to uninstall acl2 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                acl2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the acl2 package on Debian 12 (Bookworm)

Package: acl2
Version: 8.5dfsg-5
Installed-Size: 246032
Maintainer: Camm Maguire
Architecture: amd64
Depends: libc6 (>= 2.34), libedit2 (>= 2.11-20080614-0), libgmp10 (>= 2:6.2.1+dfsg1), libtirpc3 (>= 1.0.2), libx11-6
Recommends: acl2-source, acl2-books
Suggests: elpa-acl2
Description: Computational Logic for Applicative Common Lisp: main binary
Description-md5: 11f9e97229e3c77927e661525096d127
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Tag: devel::interpreter, devel::lang:lisp, field::mathematics,
implemented-in::lisp, interface::commandline, interface::text-mode,
role::program, scope::utility, uitoolkit::ncurses,
works-with::software:source
Section: math
Priority: optional
Filename: pool/main/a/acl2/acl2_8.5dfsg-5_amd64.deb
Size: 23408224
MD5sum: eba2742bdeb93044f7ad49fe3abf9b2f
SHA256: c20143bab05ed0e2d17cd5efe24cb47eec99c2b7927c70b50487887b59e3172a