How to Install and Uninstall elpa-agda2-mode Package on Debian 10 (Buster)

Last updated: January 10,2025

1. Install "elpa-agda2-mode" package

Please follow the guidance below to install elpa-agda2-mode on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-agda2-mode
            
                    
    
    Copied

2. Uninstall "elpa-agda2-mode" package

This is a short guide on how to uninstall elpa-agda2-mode on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-agda2-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-agda2-mode package on Debian 10 (Buster)

Package: elpa-agda2-mode
Source: agda
Version: 2.5.4.1-3
Installed-Size: 305
Maintainer: Debian Haskell Group
Architecture: all
Provides: agda-mode
Depends: agda-bin (<< 2.5.4.1-3.1~), agda-bin (>= 2.5.4.1-3), libghc-agda-dev (<< 2.5.4.1-3.1~), libghc-agda-dev (>= 2.5.4.1-3), emacsen-common
Recommends: emacs (>= 46.0)
Enhances: emacs, emacs24
Breaks: agda-mode (<< 2.5.1)
Description: dependently typed functional programming language — emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b
Homepage: http://wiki.portal.chalmers.se/agda/
Section: editors
Priority: optional
Filename: pool/main/a/agda/elpa-agda2-mode_2.5.4.1-3_all.deb
Size: 155444
MD5sum: cb52322c72193739ad93fe01e915f965
SHA256: c7899b0d257f768a8e30fdf1d92faba18279f466328a7c8f16bee35432354fb1