How to Install and Uninstall elan Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 16,2024

1. Install "elan" package

Please follow the guidelines below to install elan on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elan
            
                    
    
    Copied

2. Uninstall "elan" package

This guide let you learn how to uninstall elan on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elan
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elan package on Ubuntu 24.04 LTS (Noble Numbat)

Package: elan
Architecture: amd64
Version: 3.1.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: 4940
Depends: libbz2-1.0, libc6 (>= 2.38), libcurl3-gnutls (>= 7.16.2), libgcc-s1 (>= 4.2), libzstd1 (>= 1.5.5), sensible-utils
Filename: pool/universe/e/elan/elan_3.1.0-1_amd64.deb
Size: 1465378
MD5sum: cc3b159fb9feb0ee64829ca71b3f2790
SHA1: 69ddd566a1f46f336531672f3348e65c399b465d
SHA256: f144a28b67e1dd962fdaa9ee5a7ba775c5a856d2703567fd3e8c9bd5cf03eac8
SHA512: df5d088dd5db146f284faeeefff15017278133bc329421a36abebfaf9fc88fac909cf4d208b8ea6bc611b61ec4d1fc90d35d9918b318b60f9c4df1867c1135c9
Homepage: https://github.com/leanprover/elan
Description: tool for managing installations of the Lean theorem prover
Description-md5: 73025e9110aebf4866656e7478efe271