How to Install and Uninstall agda-stdlib Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: May 15,2024

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

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "agda-stdlib" package

Here is a brief guide to show you how to install agda-stdlib on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                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 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-stdlib package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: agda-stdlib
Architecture: all
Version: 1.3-2
Priority: extra
Section: universe/libs
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Iain Lane
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 94984
Depends: libghc-agda-dev (>= 2.6.1), libghc-agda-dev (<< 2.6.2~)
Breaks: agda-bin (<< 2.5.3)
Enhances: elpa-agda2-mode
Filename: pool/universe/a/agda-stdlib/agda-stdlib_1.3-2_all.deb
Size: 73224528
MD5sum: f04b16d694cc36c233f3ede7c25093d1
SHA1: 4b7ed5aa23f92d6be0d50c0db2336fab6240e239
SHA256: c8de2e77f10e1393cc3387e1aea8687950f3a3f75c5be312c50e22038487f9b1
SHA512: 93fa5bfe85fd7991f76f10d09082d65b6aa7ffd156a70c33e07e601a4ca7be7dc2d641e56c655848db1bf2294cd71b859a87e1700b3d62d3e20a830d26079f95
Homepage: http://wiki.portal.chalmers.se/agda/
Description: standard library for Agda
Description-md5: c45346ed5a4053d9d174e9325e0d533b