How to Install and Uninstall agda Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: November 07,2024

1. Install "agda" package

This guide let you learn how to install agda on Ubuntu 20.04 LTS (Focal Fossa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda
            
                    
    
    Copied

2. Uninstall "agda" package

This guide let you learn how to uninstall agda on Ubuntu 20.04 LTS (Focal Fossa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda package on Ubuntu 20.04 LTS (Focal Fossa)

Package: agda
Architecture: all
Version: 2.6.0.1-1build4
Priority: extra
Section: universe/misc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 23
Depends: agda-bin, agda-stdlib, agda-stdlib-doc, elpa-agda2-mode, libghc-agda-dev
Filename: pool/universe/a/agda/agda_2.6.0.1-1build4_all.deb
Size: 4056
MD5sum: 47b582196df2e862eb2fa0de3952b4b2
SHA1: ae51425497c3d3cf16113ef1f3cc205f37f2492f
SHA256: adae59f44ab0c1d8ee77dd82bb439b95253ecf5fd7d476c207a99e2d670eb38a
Homepage: http://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 65333dc4f3e4d00a90419d96d9785d24