Complete Guide: Installing agda-mode on Ubuntu 18.04 LTS (Bionic Beaver) 2024

1. Install "agda-mode" package

This guide covers the steps necessary to install agda-mode on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-mode
            
                    
    
    Copied

2. Uninstall "agda-mode" package

Learn how to uninstall agda-mode on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: agda-mode
Architecture: all
Version: 2.5.3-3build1
Priority: optional
Section: universe/misc
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 23
Filename: pool/universe/a/agda/agda-mode_2.5.3-3build1_all.deb
Size: 3584
MD5sum: 786c3bb9eddcf422fe4dd21894ab3ee1
SHA1: 7a62c71edd29dd9ccc2c1be7c29727dd2c4da346
SHA256: 6cf08bf23a949c71f3c69ab44ffdafc437db400f5fceef380e4236a8860ac20d
Homepage: http://wiki.portal.chalmers.se/agda/
Description: transitional dummy package for elpa-agda2-mode
Description-md5: b4ab993ba79d4001f6691d6c30eef4fa