How to Install and Uninstall elan Package on Kali Linux

Last updated: November 07,2024

1. Install "elan" package

This is a short guide on how to install elan on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elan
            
                    
    
    Copied

2. Uninstall "elan" package

This guide let you learn how to uninstall elan on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elan
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elan package on Kali Linux

Package: elan
Version: 3.1.0-1
Installed-Size: 4758
Maintainer: Christopher Hoskin
Architecture: amd64
Depends: libbz2-1.0, libc6 (>= 2.34), libcurl3-gnutls (>= 7.16.2), libgcc-s1 (>= 4.2), libzstd1 (>= 1.5.5), sensible-utils
Size: 1315504
SHA256: af633594fb293e6bae233443f46bb62e830f055f2abbbbefe6446f1062374834
SHA1: 8885cf0b53a33772e692a525f9dce1081b073ead
MD5sum: 054dc2ce7b313fdc4ac088c60b88c59d
Description: tool for managing installations of the Lean theorem prover
elan is a small tool for managing your installations of the Lean theorem
prover. It places lean and leanpkg binaries in your PATH that automatically
select and, if necessary, download the Lean version described in the
lean_version field of your project's leanpkg.toml. You can also install,
select, run, and uninstall Lean versions manually using the commands of the
elan executable.
Description-md5:
Homepage: https://github.com/leanprover/elan
Section: math
Priority: optional
Filename: pool/main/e/elan/elan_3.1.0-1_amd64.deb