How to Install and Uninstall elpa-agda2-mode Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 19,2024

1. Install "elpa-agda2-mode" package

Learn how to install elpa-agda2-mode on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                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 Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-agda2-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-agda2-mode package on Ubuntu 23.10 (Mantic Minotaur)

Package: elpa-agda2-mode
Architecture: all
Version: 2.6.2.2-1.1build1
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: 207
Depends: agda-bin (<< 2.6.2.2-1.1build1.1~), agda-bin (>= 2.6.2.2-1.1build1), libghc-agda-dev (<< 2.6.2.2-1.1build1.1~), libghc-agda-dev (>= 2.6.2.2-1.1build1), 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.1build1_all.deb
Size: 45378
MD5sum: 56b195e7d4838025365d490377fc1996
SHA1: 1bb1f74ad59e368e4c7b78c6ad40ec1ff4d21426
SHA256: 6cc9cbf139dc1533d2e7b8dffcf887c0a82b15196bae51e02cabbf3099332246
SHA512: 17eb5f8310d8ff8e116f98770cdf7c45dc1fc41142d1585086ffef185edfad0f29fe6bc87313d1924a8277c715416ecd10d50ee51260b65e0b2cc56e725ca643
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language — emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b