How to Install and Uninstall elan Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: July 05,2024

1. Install "elan" package

Please follow the step by step instructions below to install elan on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elan
            
                    
    
    Copied

2. Uninstall "elan" package

In this section, we are going to explain the necessary steps to uninstall elan on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elan
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elan package on Ubuntu 22.10 (Kinetic Kudu)

Package: elan
Architecture: amd64
Version: 1.4.1-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Christopher Hoskin
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4302
Depends: libc6 (>= 2.34), libcurl3-gnutls (>= 7.16.2), libgcc-s1 (>= 4.2), sensible-utils
Filename: pool/universe/e/elan/elan_1.4.1-1_amd64.deb
Size: 1280346
MD5sum: 06954b5076b30731c47f40b4fd3eaab9
SHA1: 722013d0fc737c31c66f567cb1ffb43d57015532
SHA256: b7e5adf5c96db7ed3b0a48f06815148cde61a3dfcb60325cf776f7325676f1bc
SHA512: efdbda8bd4b0f7d8d710b448b2f59d7b44ee29a574da5184cf7bf9e2868df62038fc2dafdfbc19853ea5745ee96f59c574e1e020a3b0a93160e129ba647b62d2
Homepage: https://github.com/leanprover/elan
Description: tool for managing installations of the Lean theorem prover
Description-md5: 73025e9110aebf4866656e7478efe271