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

Last updated: January 11,2025

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

MX Linux 23
SparkyLinux

1. Install "agda-stdlib" package

Please follow the step by step instructions below to install agda-stdlib on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-stdlib
            
                    
    
    Copied

2. Uninstall "agda-stdlib" package

Please follow the instructions below to uninstall agda-stdlib on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: agda-stdlib
Version: 1.7.1-1
Installed-Size: 130703
Maintainer: Iain Lane
Architecture: all
Depends: libghc-agda-dev (>= 2.6.2), libghc-agda-dev (<< 2.6.3~)
Enhances: elpa-agda2-mode
Breaks: agda-bin (<< 2.5.3)
Description: standard library for Agda
Description-md5: c45346ed5a4053d9d174e9325e0d533b
Homepage: https://wiki.portal.chalmers.se/agda/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/a/agda-stdlib/agda-stdlib_1.7.1-1_all.deb
Size: 100043028
MD5sum: f95530a75617331cb21217fd9f4be208
SHA256: a1649482c2fa4c5c53b0a0eb7fa80f567364dd490bc4f8cd9efbcfdc0d88b00d