How to Install and Uninstall elpa-agda2-mode Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 26,2024

1. Install "elpa-agda2-mode" package

Please follow the steps below to install elpa-agda2-mode on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-agda2-mode
            
                    
    
    Copied

2. Uninstall "elpa-agda2-mode" package

Please follow the guidelines below to uninstall elpa-agda2-mode on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-agda2-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-agda2-mode package on Ubuntu 22.10 (Kinetic Kudu)

Package: elpa-agda2-mode
Architecture: all
Version: 2.6.2.2-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: 212
Depends: agda-bin (<< 2.6.2.2-1.1~), agda-bin (>= 2.6.2.2-1), libghc-agda-dev (<< 2.6.2.2-1.1~), libghc-agda-dev (>= 2.6.2.2-1), dh-elpa-helper, emacsen-common
Recommends: emacs (>= 46.0)
Enhances: emacs, emacs24
Filename: pool/universe/a/agda/elpa-agda2-mode_2.6.2.2-1_all.deb
Size: 45778
MD5sum: f178ef77f4843b7f85c2294562c65638
SHA1: b99b28911bcef1c3fb56e89713c4a82569c5a1fe
SHA256: b04ccbf8f89a807e02df998e8132c9ff96f2390e68564e6875ffd4a20b9541d4
SHA512: 2335872fd42b6bc34f594b8ca7b9a3071fb61ee20672d854db9872069144ddc793236a97fe7d550bb5bfa73921a12554263c687f0d14886ce3e6e0b7e22fc370
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language — emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b