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

Last updated: November 22,2024

1. Install "agda-bin" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-bin
            
                    
    
    Copied

2. Uninstall "agda-bin" package

Please follow the steps below to uninstall agda-bin on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-bin
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: agda-bin
Architecture: amd64
Version: 2.6.3-1build1
Priority: optional
Section: universe/haskell
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 68292
Depends: libc6 (>= 2.38), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4), libghc-agda-dev (<< 2.6.3+~), libghc-agda-dev (>= 2.6.3)
Suggests: elpa-agda2-mode
Filename: pool/universe/a/agda/agda-bin_2.6.3-1build1_amd64.deb
Size: 10985550
MD5sum: 5792055d31b76bb5b8eb605a7103bcfd
SHA1: cf85be4b6e71df6776d52556473dc919eb62a50f
SHA256: 17d3b7d5453e8a199db789bf9b199b5635e485db93864e454aa6832a03ba5902
SHA512: 904ffc76551bcbca0f3b40eeca337a1904e28d23f262472fe0c5863d140042e511d6cc663bda1687750b8c6db0d8cc0475b39c4efb1587d437e34abea9b97a6a
Homepage: https://wiki.portal.chalmers.se/agda/
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595