How to Install and Uninstall elan Package on Debian 12 (Bookworm)

Last updated: November 07,2024

You can also install and uninstall the elan on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "elan" package

This guide let you learn how to install elan on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elan
            
                    
    
    Copied

2. Uninstall "elan" package

This guide covers the steps necessary to uninstall elan on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elan
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elan package on Debian 12 (Bookworm)

Package: elan
Version: 1.4.2-5
Installed-Size: 4282
Maintainer: Christopher Hoskin
Architecture: amd64
Depends: libbz2-1.0, libc6 (>= 2.34), libcurl3-gnutls (>= 7.16.2), libgcc-s1 (>= 4.2), libzstd1 (>= 1.5.2), sensible-utils
Description: tool for managing installations of the Lean theorem prover
Description-md5: 73025e9110aebf4866656e7478efe271
Homepage: https://github.com/leanprover/elan
Section: math
Priority: optional
Filename: pool/main/e/elan/elan_1.4.2-5_amd64.deb
Size: 1177168
MD5sum: bbda9cb665b6ec90aa50c76955d3d79a
SHA256: 77fc1ec45b7788d6af0b7c4baed2659468d8a0c004a5cbac575cf6ba376a5a0a