How to Install and Uninstall elan Package on Linux Mint 21.3 (Virginia)

Last updated: December 25,2024

1. Install "elan" package

Please follow the guidelines below to install elan on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elan
            
                    
    
    Copied

2. Uninstall "elan" package

Please follow the guidelines below to uninstall elan on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elan
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elan package on Linux Mint 21.3 (Virginia)

Package: elan
Architecture: amd64
Version: 1.3.1-3
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Christopher Hoskin
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4218
Depends: libc6 (>= 2.34), libcurl3-gnutls (>= 7.16.2), libgcc-s1 (>= 4.2), sensible-utils
Filename: pool/universe/e/elan/elan_1.3.1-3_amd64.deb
Size: 1292234
MD5sum: 2a51f423fb6a911d83b35d1adfbb4b39
SHA1: dfac811340e1e383a2ba201aeec3af21fe0d50a2
SHA256: e61d56e7e69556334ce251491e3cb822d9edcf7bfab34eb2c1e2777b7639c207
SHA512: f6a08e4beb16aa2d08a6b2dc63762881a51252d0c4e328ef5e196a2e2f113be4ff118925d616351515efacd9ba5b0bdfb61b022fc56c9259fb0354615e940102
Homepage: https://github.com/leanprover/elan
Description: tool for managing installations of the Lean theorem prover
Description-md5: 73025e9110aebf4866656e7478efe271