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

Last updated: November 25,2024

1. Install "agda-stdlib-doc" package

Please follow the step by step instructions below to install agda-stdlib-doc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-stdlib-doc
            
                    
    
    Copied

2. Uninstall "agda-stdlib-doc" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-stdlib-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: agda-stdlib-doc
Architecture: all
Version: 1.7.1-1
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: 42672
Suggests: agda-stdlib
Filename: pool/universe/a/agda-stdlib/agda-stdlib-doc_1.7.1-1_all.deb
Size: 2980102
MD5sum: 26aab805b8324c995b5710ca935e750f
SHA1: c59742f9557f2a1190f862d71892df904f1c75a8
SHA256: 7fec2eb6003e01face3c540ffed59a3bb0490d38f096f455d653eb25c9f82cdb
SHA512: 1ecc4016deceebaacffc4ce0489864e141a387d06f85629c7790fe2e941449a9b468d92d27f666a623d422a3ac081f7e0c690e76ab912ef9f6e3b28f3f906d8a
Homepage: https://wiki.portal.chalmers.se/agda/
Description: standard library for Agda — documentation
Description-md5: fd3b8a8baa471f456e06046d5280b6e7