How to Install and Uninstall agda-stdlib Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 15,2024

1. Install "agda-stdlib" package

Please follow the guidelines below to install agda-stdlib on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-stdlib
            
                    
    
    Copied

2. Uninstall "agda-stdlib" package

Please follow the guidelines below to uninstall agda-stdlib on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-stdlib package on Ubuntu 24.04 LTS (Noble Numbat)

Package: agda-stdlib
Architecture: all
Version: 1.7.3-1
Priority: extra
Section: universe/libs
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Iain Lane
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 150877
Depends: libghc-agda-dev (>= 2.6.3), libghc-agda-dev (<< 2.6.5~)
Enhances: elpa-agda2-mode
Filename: pool/universe/a/agda-stdlib/agda-stdlib_1.7.3-1_all.deb
Size: 120541094
MD5sum: 7f4b6fcbeee51113fc7fc251aca80c17
SHA1: d49ac81fbc0a561ccc4242f50294ff9941945765
SHA256: a7edf0c8c0d1194ebddb40b805cdaebe6101eaba36f7e004f5258cd84dd8f771
SHA512: f331c930357342c4c204a63b7cb7d0d987ed86bf1233ea94b437ab62f8fc23b230c51f199c61eb438d2f8f8f2dfb91c2b40440f9c3cf8ea4d88b17aa515af3a8
Homepage: https://wiki.portal.chalmers.se/agda/
Description: standard library for Agda
Description-md5: c45346ed5a4053d9d174e9325e0d533b