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

Last updated: November 07,2024

1. Install "agda" package

Please follow the guidelines below to install agda on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda
            
                    
    
    Copied

2. Uninstall "agda" package

Learn how to uninstall agda on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: agda
Version: 2.5.4.1-3
Installed-Size: 122
Maintainer: Debian Haskell Group
Architecture: all
Depends: agda-bin, agda-stdlib, agda-stdlib-doc, elpa-agda2-mode, libghc-agda-dev
Description: dependently typed functional programming language
Description-md5: 65333dc4f3e4d00a90419d96d9785d24
Homepage: http://wiki.portal.chalmers.se/agda/
Tag: role::metapackage
Section: misc
Priority: optional
Filename: pool/main/a/agda/agda_2.5.4.1-3_all.deb
Size: 118104
MD5sum: f636dccb78166411e935eeee832cabb2
SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2