How to Install and Uninstall agda Package on Debian 12 (Bookworm)

Last updated: May 13,2024

You can also install and uninstall the agda on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "agda" package

Please follow the guidelines below to install agda on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda
            
                    
    
    Copied

2. Uninstall "agda" package

Please follow the step by step instructions below to uninstall agda on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda package on Debian 12 (Bookworm)

Package: agda
Version: 2.6.2.2-1.1
Installed-Size: 20
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.2.2-1.1_all.deb
Size: 12304
MD5sum: 5c4d7458dc75886a83635c8a491b7461
SHA256: bd7e666748a562513dc5e9623f3e3ab02ac4097236e5e8c08bc822205cb59e2a