How to Install and Uninstall elpa-agda2-mode Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: November 07,2024

1. Install "elpa-agda2-mode" package

Here is a brief guide to show you how to install elpa-agda2-mode on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpa-agda2-mode
            
                    
    
    Copied

2. Uninstall "elpa-agda2-mode" package

In this section, we are going to explain the necessary steps to uninstall elpa-agda2-mode on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpa-agda2-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpa-agda2-mode package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: elpa-agda2-mode
Architecture: all
Version: 2.5.3-3build1
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: 204
Provides: agda-mode
Depends: agda-bin (<< 2.5.3-3build1.1~), agda-bin (>= 2.5.3-3build1), libghc-agda-dev (<< 2.5.3-3build1.1~), libghc-agda-dev (>= 2.5.3-3build1), emacsen-common
Recommends: emacs (>= 46.0)
Breaks: agda-mode (<< 2.5.1)
Enhances: emacs, emacs24
Filename: pool/universe/a/agda/elpa-agda2-mode_2.5.3-3build1_all.deb
Size: 40852
MD5sum: 3f490a99ab3402920ecfc0f902255d82
SHA1: 26f5d065494e67791f4470427937c1b34dbffe89
SHA256: 0a529f8576860ec9bcfa0624f4d557f45ed4326ada3ae5864acce235e259635c
Homepage: http://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language ?? emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b