How to Install and Uninstall agda-stdlib Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 23,2024

1. Install "agda-stdlib" package

This guide let you learn how to install agda-stdlib on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-stdlib
            
                    
    
    Copied

2. Uninstall "agda-stdlib" package

In this section, we are going to explain the necessary steps to uninstall agda-stdlib on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-stdlib package on Ubuntu 23.10 (Mantic Minotaur)

Package: agda-stdlib
Architecture: all
Version: 1.7.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: 130702
Depends: libghc-agda-dev (>= 2.6.2), libghc-agda-dev (<< 2.6.3~)
Breaks: agda-bin (<< 2.5.3)
Enhances: elpa-agda2-mode
Filename: pool/universe/a/agda-stdlib/agda-stdlib_1.7.1-1_all.deb
Size: 102720392
MD5sum: 8cf395490628e246f95d625c658764dc
SHA1: 35b60758faf504f9dfee368a126625a4b6bda028
SHA256: 356e0702c09f4a21c52823fa08762fa84b1be221d64b4b81db8d79e967e1278c
SHA512: dc36c272c367b03b8c77db5f5ffa42f58fece02e882a95135de1208fb2b31f63172c504e63c30f0c6cf1af258420197b2cbb45631edc402da3f2ed127c065bff
Homepage: https://wiki.portal.chalmers.se/agda/
Description: standard library for Agda
Description-md5: c45346ed5a4053d9d174e9325e0d533b