How to Install and Uninstall agda Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 14,2024

1. Install "agda" package

This tutorial shows how to install agda on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda
            
                    
    
    Copied

2. Uninstall "agda" package

Please follow the guidance below to uninstall agda on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda package on Ubuntu 22.10 (Kinetic Kudu)

Package: agda
Architecture: all
Version: 2.6.2.2-1
Priority: extra
Section: universe/misc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 24
Depends: agda-bin, agda-stdlib, agda-stdlib-doc, elpa-agda2-mode, libghc-agda-dev
Filename: pool/universe/a/agda/agda_2.6.2.2-1_all.deb
Size: 4134
MD5sum: 75d084b475c92f3cf6046bb9dba99066
SHA1: 244f82700d45829457a069b0da7f33daddfc540d
SHA256: 93b0e15682f420a53593b354b3ae3379de29ce502a25ce25e2ab038e3f98f636
SHA512: bbf09cd21d6cced778479e9935c46f9c8fd90ee8ecf986b73b45c97093b17c8e63502f8fadb51993cecda50cfbb8de59a926f23284b0f1b21cb120baf52a4010
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 65333dc4f3e4d00a90419d96d9785d24