How to Install and Uninstall elpa-agda2-mode Package on Linux Mint 21.3 (Virginia)

Last updated: December 24,2024

1. Install "elpa-agda2-mode" package

Learn how to install elpa-agda2-mode on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-agda2-mode
            
                    
    
    Copied

2. Uninstall "elpa-agda2-mode" package

This tutorial shows how to uninstall elpa-agda2-mode on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-agda2-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-agda2-mode package on Linux Mint 21.3 (Virginia)

Package: elpa-agda2-mode
Architecture: all
Version: 2.6.1-1build2.1
Priority: extra
Section: universe/editors
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 209
Depends: agda-bin (<< 2.6.1-1build2.1.1~), agda-bin (>= 2.6.1-1build2.1), libghc-agda-dev (<< 2.6.1-1build2.1.1~), libghc-agda-dev (>= 2.6.1-1build2.1), dh-elpa-helper, emacsen-common
Recommends: emacs (>= 46.0)
Enhances: emacs, emacs24
Filename: pool/universe/a/agda/elpa-agda2-mode_2.6.1-1build2.1_all.deb
Size: 46174
MD5sum: 80667ab82d4162bef01e03d058779115
SHA1: 2d3fbc9e4d1c6807436cd62334e3cebebbebefb6
SHA256: dc53e1363ebb270ccc8c31b04d7b318c90da7fe546b128e3a003d2d75d8a7898
SHA512: afa121d0d18404e13ac644c07029b32b62e1ebe0e32d6648df477b8fd8e12509bdd43a42b527655969ee95da74fb0d8634f22e6fd8f40a01b630ffaa47dc70c5
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language — emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b