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

Last updated: May 14,2024

1. Install "agda" package

This tutorial shows how to install agda on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda
            
                    
    
    Copied

2. Uninstall "agda" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: agda
Architecture: all
Version: 2.6.2.2-1.1build1
Priority: extra
Section: universe/misc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 19
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.1build1_all.deb
Size: 3716
MD5sum: f2afbf63766470b9944737427065575a
SHA1: 7f8084ab859014e2b02a830e28fd197452bf69af
SHA256: 4ce17836f21310f89a65ca91f423200cb50f906a29df5f158d2a9180f4769948
SHA512: eadf99b98f79c5ec122212aa058f1164411ee06b8d487788a8156fd8b3ca9574a7588d920c9ac7c25bf0b3a86d2548b9d3c7a47af57b28a66537139760609498
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 65333dc4f3e4d00a90419d96d9785d24