How to Install and Uninstall agda-bin Package on Linux Mint 21 (Vanessa)

Last updated: December 23,2024

1. Install "agda-bin" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-bin
            
                    
    
    Copied

2. Uninstall "agda-bin" package

Please follow the guidelines below to uninstall agda-bin on Linux Mint 21 (Vanessa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-bin
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-bin package on Linux Mint 21 (Vanessa)

Package: agda-bin
Architecture: amd64
Version: 2.6.1-1build2.1
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: 67992
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgmp10, libtinfo6 (>= 6), zlib1g (>= 1:1.1.4), libghc-agda-dev (<< 2.6.1+~), libghc-agda-dev (>= 2.6.1)
Suggests: elpa-agda2-mode
Filename: pool/universe/a/agda/agda-bin_2.6.1-1build2.1_amd64.deb
Size: 9541384
MD5sum: 35995b28c01653e5f23208880df52876
SHA1: 116b12d2cd0622e63fc6b91136e087ceb5a8e458
SHA256: a27f4432e4a48d15913010a34b25fb1b3085e25c152c3d9bab5344c8762d568d
SHA512: e5ad717474bb6838da309b0c21fa367ec51dd34babce5d74fa4b50c5f63dbe001662d0808bf9850c2858360b4fd57e6b9dc0e91eacd88702e0d974f0050a6c33
Homepage: https://wiki.portal.chalmers.se/agda/
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595