How to Install and Uninstall agda Package on Debian 11 (Bullseye)

Last updated: September 20,2024

1. Install "agda" package

This guide covers the steps necessary to install agda on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda
            
                    
    
    Copied

2. Uninstall "agda" package

This is a short guide on how to uninstall agda on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda package on Debian 11 (Bullseye)

Package: agda
Version: 2.6.1-1
Installed-Size: 35
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: https://wiki.portal.chalmers.se/agda/
Tag: role::metapackage
Section: misc
Priority: optional
Filename: pool/main/a/agda/agda_2.6.1-1_all.deb
Size: 28736
MD5sum: bb8a90e7e412c529fceaae553619367f
SHA256: 9eab12e39475844362a80726bfdc5cfcf3cdb3decbec1b3df56cf67dbe78b4f1