How to Install and Uninstall agda-stdlib Package on Linux Mint 21.3 (Virginia)

Last updated: December 23,2024

1. Install "agda-stdlib" package

Please follow the steps below to install agda-stdlib on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                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 Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-stdlib package on Linux Mint 21.3 (Virginia)

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