How to Install and Uninstall elpa-acl2 Package on Linux Mint 21 (Vanessa)

Last updated: November 22,2024

1. Install "elpa-acl2" package

This guide covers the steps necessary to install elpa-acl2 on Linux Mint 21 (Vanessa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-acl2
            
                    
    
    Copied

2. Uninstall "elpa-acl2" package

This guide let you learn how to uninstall elpa-acl2 on Linux Mint 21 (Vanessa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-acl2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-acl2 package on Linux Mint 21 (Vanessa)

Package: elpa-acl2
Architecture: all
Version: 8.4dfsg-2
Priority: optional
Section: universe/lisp
Source: acl2
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Camm Maguire
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 350
Depends: acl2 (>= 8.4dfsg-2), emacs-gtk | emacsen, dh-elpa-helper, emacsen-common, tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/elpa-acl2_8.4dfsg-2_all.deb
Size: 70790
MD5sum: 61ec8c8d12cd8705bb0d8a2601088503
SHA1: 72485a48e450945603b6ccd2a73c79dd0a6f20ef
SHA256: 9fddaa23a916f90a50e64150985b7d94d2741c3bb92581e2d50966061e9f97fd
SHA512: c7c3d10d5b7e98e0854cea0c16bd5096aaac025cc0b6258425d5c432eb36577bc0d7668de4826e6cb37a7a535dc08355f6dadf0710177cb23c0a36bdc201dbac
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: emacs interface
Description-md5: 785e47d860f1b215d53efbb4f2bef1fc