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

Last updated: April 28,2024

1. Install "acl2-source" package

In this section, we are going to explain the necessary steps to install acl2-source on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                acl2-source
            
                    
    
    Copied

2. Uninstall "acl2-source" package

Please follow the instructions below to uninstall acl2-source on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                acl2-source
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: acl2-source
Architecture: all
Version: 8.5dfsg-5
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: 18837
Depends: tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/acl2-source_8.5dfsg-5_all.deb
Size: 3651794
MD5sum: 999c15f4a83b9ea6de229326ea8d67ea
SHA1: 78e6e4783e634e7e8f611057d7e7e85fa31c1196
SHA256: 7473ce0a7fcae74768dfb5a57965fd095453940f8a5acddff8d55f5bec51da14
SHA512: 654da304595a6485535e32c93b306ec4fd2112f35ab830e68335983cb6be7986684d528e42a3ee592294c2aa4fd000b60a16f2ef23182b274debac837f983c7d
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: source files
Description-md5: 24b72fcd3b9c9afee8776f2d281499a4