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

Last updated: January 11,2025

1. Install "agda-stdlib" package

Please follow the instructions below to install agda-stdlib on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-stdlib
            
                    
    
    Copied

2. Uninstall "agda-stdlib" package

In this section, we are going to explain the necessary steps to uninstall agda-stdlib on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: agda-stdlib
Version: 1.3-2
Installed-Size: 94995
Maintainer: Iain Lane
Architecture: all
Depends: libghc-agda-dev (>= 2.6.1), libghc-agda-dev (<< 2.6.2~)
Enhances: elpa-agda2-mode
Breaks: agda-bin (<< 2.5.3)
Description: standard library for Agda
Description-md5: c45346ed5a4053d9d174e9325e0d533b
Homepage: http://wiki.portal.chalmers.se/agda/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/a/agda-stdlib/agda-stdlib_1.3-2_all.deb
Size: 73237088
MD5sum: 7d8fbf4a44243cb250229120ddc5465b
SHA256: f717c9b8cb1ded61702dcb7970d07e3fa3eabe5312142c1961bc362ff8073b58