How to Install and Uninstall agda-bin Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 17,2024

1. Install "agda-bin" package

In this section, we are going to explain the necessary steps to install agda-bin on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-bin
            
                    
    
    Copied

2. Uninstall "agda-bin" package

Please follow the guidance below to uninstall agda-bin on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-bin
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-bin package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: agda-bin
Architecture: amd64
Version: 2.5.3-3build1
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: 42186
Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, libtinfo5 (>= 6), zlib1g (>= 1:1.1.4)
Recommends: libghc-agda-dev (<< 2.5.3+~), libghc-agda-dev (>= 2.5.3)
Suggests: elpa-agda2-mode
Filename: pool/universe/a/agda/agda-bin_2.5.3-3build1_amd64.deb
Size: 5728080
MD5sum: fa809c136afc46d1e12ce68d3eac8821
SHA1: a00c04eb619daa58531ff3bc9c81af0caeb5f995
SHA256: baede23651629d4b655d9fad5fe180a55e932dc213b689a6aca843d7497e95bd
Homepage: http://wiki.portal.chalmers.se/agda/
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595