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

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 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-bin
            
                    
    
    Copied

2. Uninstall "agda-bin" package

Here is a brief guide to show you how to uninstall agda-bin on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-bin
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: agda-bin
Architecture: amd64
Version: 2.6.2.2-1.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: 53954
Depends: libc6 (>= 2.34), libffi8 (>= 3.4), libgmp10 (>= 2:6.2.1+dfsg1), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4), libghc-agda-dev (<< 2.6.2.2+~), libghc-agda-dev (>= 2.6.2.2)
Suggests: elpa-agda2-mode
Filename: pool/universe/a/agda/agda-bin_2.6.2.2-1.1build1_amd64.deb
Size: 8345170
MD5sum: c22cdb063e75d825fada013764cc44bf
SHA1: f26aa896e5880f9bde7770b9fae2ba4a02128972
SHA256: f59c651e54eba88bd86dd3937770f2c20d2fd91bbb7427ba89a727dc292a68e9
SHA512: 18bb1b50a969545c2bef4741fdd44f4bd5b7eb4fae85e4e64c4291fd0d2081906a1a3b426e93a1ecc3496ddae019e77b2ae84656e23813abc9ccbb65f3b5053d
Homepage: https://wiki.portal.chalmers.se/agda/
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595