How to Install and Uninstall elpa-agda2-mode Package on Debian 11 (Bullseye)

Last updated: November 25,2024

1. Install "elpa-agda2-mode" package

Please follow the guidelines below to install elpa-agda2-mode on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-agda2-mode
            
                    
    
    Copied

2. Uninstall "elpa-agda2-mode" package

Please follow the step by step instructions below to uninstall elpa-agda2-mode on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-agda2-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-agda2-mode package on Debian 11 (Bullseye)

Package: elpa-agda2-mode
Source: agda
Version: 2.6.1-1
Installed-Size: 220
Maintainer: Debian Haskell Group
Architecture: all
Depends: agda-bin (<< 2.6.1-1.1~), agda-bin (>= 2.6.1-1), libghc-agda-dev (<< 2.6.1-1.1~), libghc-agda-dev (>= 2.6.1-1), dh-elpa-helper, emacsen-common
Recommends: emacs (>= 46.0)
Enhances: emacs, emacs24
Description: dependently typed functional programming language — emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b
Homepage: https://wiki.portal.chalmers.se/agda/
Section: editors
Priority: optional
Filename: pool/main/a/agda/elpa-agda2-mode_2.6.1-1_all.deb
Size: 66816
MD5sum: 275230fca40c09c991859cc2fb11b34c
SHA256: 80b05dde13184b5eb1b6392e45fafca342893666f64d1a6a08e25f6616e9260a