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

Last updated: November 22,2024

1. Install "agda-stdlib-doc" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-stdlib-doc
            
                    
    
    Copied

2. Uninstall "agda-stdlib-doc" package

This tutorial shows how to uninstall agda-stdlib-doc on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-stdlib-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: agda-stdlib-doc
Architecture: all
Version: 1.7.3-1
Multi-Arch: foreign
Priority: extra
Section: universe/doc
Source: agda-stdlib
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Iain Lane
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 42726
Suggests: agda-stdlib
Filename: pool/universe/a/agda-stdlib/agda-stdlib-doc_1.7.3-1_all.deb
Size: 2981076
MD5sum: cf80cd3180eed043dcf32d17b5e77fd9
SHA1: 4b18bf48e0127b54c2f3e4e3bfe62e80484005a6
SHA256: c22ae103d5c36a2beec58f4701e8f203056d89d6cd572ac024e85cd464cfe12c
SHA512: 0497e0714fd0dae2e6ef67fa7dbcea2d8bb26ae2f0da8d574f9105f105bccddb0d61c8a91e656d6ff2afd831af92da6ba400eb3c4330bd5172a93cbb021a31ca
Homepage: https://wiki.portal.chalmers.se/agda/
Description: standard library for Agda — documentation
Description-md5: fd3b8a8baa471f456e06046d5280b6e7