How to Install and Uninstall agda-bin Package on Linux Mint 20.3 (Una)

Last updated: November 22,2024

1. Install "agda-bin" package

This is a short guide on how to install agda-bin on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-bin
            
                    
    
    Copied

2. Uninstall "agda-bin" package

This guide covers the steps necessary to uninstall agda-bin on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-bin
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-bin package on Linux Mint 20.3 (Una)

Package: agda-bin
Architecture: amd64
Version: 2.6.0.1-1build4
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: 47011
Depends: libatomic1 (>= 4.8), libc6 (>= 2.29), libffi7 (>= 3.3~20180313), libgmp10, libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Recommends: libghc-agda-dev (<< 2.6.0.1+~), libghc-agda-dev (>= 2.6.0.1)
Suggests: elpa-agda2-mode
Filename: pool/universe/a/agda/agda-bin_2.6.0.1-1build4_amd64.deb
Size: 6571852
MD5sum: 2200a9a525c378d559ada554b063260d
SHA1: 12197566c9cbbd75f27739b4552e00e43b6031f9
SHA256: d536857d5bfa015487b2c9f1c21f8c326b7b19957becee898b1d75c7b293f5f9
Homepage: http://wiki.portal.chalmers.se/agda/
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595