How to Install and Uninstall elpa-acl2 Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 26,2024

1. Install "elpa-acl2" package

Please follow the guidance below to install elpa-acl2 on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-acl2
            
                    
    
    Copied

2. Uninstall "elpa-acl2" package

Here is a brief guide to show you how to uninstall elpa-acl2 on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-acl2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-acl2 package on Ubuntu 23.10 (Mantic Minotaur)

Package: elpa-acl2
Architecture: all
Version: 8.5dfsg-5
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.5dfsg-5), 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.5dfsg-5_all.deb
Size: 72014
MD5sum: cd69b742b36b075e72751860c90e3c75
SHA1: 5350e785bff42990eeedfb0b616964cb2f2429cf
SHA256: 4d8ad3501eeb91e3ec80e92eefca50d4a0e4180c4d131684d8aa5148978e4422
SHA512: 4d89dd441cf4adbe17fee70858484964e917a376d7ce60ed6c6f23a56f9a372def3c4b0356a565880ccb82a09be4f538865781f7fed3d795809577aea05f4a96
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: emacs interface
Description-md5: 785e47d860f1b215d53efbb4f2bef1fc