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

Last updated: September 20,2024

1. Install "agda-stdlib" package

This tutorial shows how to install agda-stdlib on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-stdlib
            
                    
    
    Copied

2. Uninstall "agda-stdlib" package

Please follow the step by step instructions below to uninstall agda-stdlib on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: agda-stdlib
Version: 0.17-1
Installed-Size: 43615
Maintainer: Iain Lane
Architecture: all
Depends: libghc-agda-dev (>= 2.5.4.1), libghc-agda-dev (<< 2.5.5~)
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_0.17-1_all.deb
Size: 33021876
MD5sum: ba35511b2cac51b9784de4b5332c7596
SHA256: e2d0cc5cc6879a194de949935ac68e4b7d75cb32d8cf06311908cd61a3d38c57