How to Install and Uninstall agda-mode Package on Linux Mint 20.3 (Una)

Last updated: May 21,2024

1. Install "agda-mode" package

This is a short guide on how to install agda-mode on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-mode
            
                    
    
    Copied

2. Uninstall "agda-mode" package

This guide covers the steps necessary to uninstall agda-mode on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-mode package on Linux Mint 20.3 (Una)

Package: agda-mode
Architecture: all
Version: 2.6.0.1-1build4
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.6.0.1-1build4_all.deb
Size: 3644
MD5sum: 52bfc8d75d1b5dde576d0b1594c3f2f7
SHA1: 757ec4c5f30596e6664a0a7da6d84fad4a6d4495
SHA256: 2aaf9f7a284d1979d95fad99a618df8d38f8aced5eaf9b1c74be7b707fbca19f
Homepage: http://wiki.portal.chalmers.se/agda/
Description: transitional dummy package for elpa-agda2-mode
Description-md5: b4ab993ba79d4001f6691d6c30eef4fa