How to Install and Uninstall agda-stdlib Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: May 17,2024

1. Install "agda-stdlib" package

Please follow the steps below to install agda-stdlib on Ubuntu 20.04 LTS (Focal Fossa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-stdlib
            
                    
    
    Copied

2. Uninstall "agda-stdlib" package

Here is a brief guide to show you how to uninstall agda-stdlib on Ubuntu 20.04 LTS (Focal Fossa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-stdlib package on Ubuntu 20.04 LTS (Focal Fossa)

Package: agda-stdlib
Architecture: all
Version: 1.1-1
Priority: extra
Section: universe/libs
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Iain Lane
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 61475
Depends: libghc-agda-dev (>= 2.6.0.1), libghc-agda-dev (<< 2.6.1~)
Breaks: agda-bin (<< 2.5.3)
Enhances: elpa-agda2-mode
Filename: pool/universe/a/agda-stdlib/agda-stdlib_1.1-1_all.deb
Size: 47388280
MD5sum: 59fb098b21db977e4e2630c8427ab30b
SHA1: faf2613e58b2dc0a6795661d9376b3862176d68d
SHA256: 49eacffdb7289192ebc81a9ea5198782efb5c3a53d208086b29700041257ed6c
Homepage: http://wiki.portal.chalmers.se/agda/
Description: standard library for Agda
Description-md5: c45346ed5a4053d9d174e9325e0d533b