How to Install and Uninstall elan Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 15,2024

1. Install "elan" package

Please follow the steps below to install elan on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elan
            
                    
    
    Copied

2. Uninstall "elan" package

Please follow the step by step instructions below to uninstall elan on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elan
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elan package on Ubuntu 23.10 (Mantic Minotaur)

Package: elan
Architecture: amd64
Version: 2.0.0-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Christopher Hoskin
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4216
Depends: libbz2-1.0, libc6 (>= 2.34), libcurl3-gnutls (>= 7.16.2), libgcc-s1 (>= 4.2), libzstd1 (>= 1.5.5), sensible-utils
Filename: pool/universe/e/elan/elan_2.0.0-1_amd64.deb
Size: 1290274
MD5sum: a307fee4acbbf0292cc56ab23c829676
SHA1: c0f25f476fbc6a60b162d17bfceec4d74b68b68c
SHA256: a2d6aeffaedb8b9c09e1889563ee5ff8881ee676dd7f2be862a20038ea5c59fa
SHA512: 94ba10529f1c5cfc0dc61df19b58980f84d670a3489eccd5c85857004ba8d089dddfce51d29b0a0772167da54457d864717b514c582d5af55be5356fa629257f
Homepage: https://github.com/leanprover/elan
Description: tool for managing installations of the Lean theorem prover
Description-md5: 73025e9110aebf4866656e7478efe271