How to Install and Uninstall agda-mode Package on Debian 10 (Buster)

Last updated: November 24,2024

1. Install "agda-mode" package

This is a short guide on how to install agda-mode on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-mode
            
                    
    
    Copied

2. Uninstall "agda-mode" package

In this section, we are going to explain the necessary steps to uninstall agda-mode on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-mode
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-mode package on Debian 10 (Buster)

Package: agda-mode
Source: agda
Version: 2.5.4.1-3
Installed-Size: 122
Maintainer: Debian Haskell Group
Architecture: all
Description: transitional dummy package for elpa-agda2-mode
Description-md5: b4ab993ba79d4001f6691d6c30eef4fa
Homepage: http://wiki.portal.chalmers.se/agda/
Section: misc
Priority: optional
Filename: pool/main/a/agda/agda-mode_2.5.4.1-3_all.deb
Size: 117680
MD5sum: 6ca01428ecdaf733b3def94941dc829a
SHA256: c5dcfbf6e895cdce4e5c4e561ad71a8ec70248e481d4f90cb2899ee7ce466786