How to Install and Uninstall elpa-agda2-mode Package on Debian 12 (Bookworm)

Last updated: May 17,2024

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

MX Linux 23
SparkyLinux

1. Install "elpa-agda2-mode" package

Please follow the step by step instructions below to install elpa-agda2-mode on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-agda2-mode
            
                    
    
    Copied

2. Uninstall "elpa-agda2-mode" package

This guide let you learn how to uninstall elpa-agda2-mode on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-agda2-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-agda2-mode package on Debian 12 (Bookworm)

Package: elpa-agda2-mode
Source: agda
Version: 2.6.2.2-1.1
Installed-Size: 208
Maintainer: Debian Haskell Group
Architecture: all
Depends: agda-bin (<< 2.6.2.2-1.1.1~), agda-bin (>= 2.6.2.2-1.1), libghc-agda-dev (<< 2.6.2.2-1.1.1~), libghc-agda-dev (>= 2.6.2.2-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.2.2-1.1_all.deb
Size: 50944
MD5sum: bd179cf14cda2901ce9aed789b376d7b
SHA256: 2c2025905a45c8af4be594584430d76645ad3a42d82d873ef20b44f8b5a46af4