How to Install and Uninstall agda-bin Package on Debian 12 (Bookworm)

Last updated: November 25,2024

You can also install and uninstall the agda-bin on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "agda-bin" package

Please follow the instructions below to install agda-bin on Debian 12 (Bookworm)


    
        
            $
        

        
            
                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 Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-bin
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-bin package on Debian 12 (Bookworm)

Package: agda-bin
Source: agda
Version: 2.6.2.2-1.1
Installed-Size: 53947
Maintainer: Debian Haskell Group
Architecture: amd64
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
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595
Homepage: https://wiki.portal.chalmers.se/agda/
Tag: devel::testing-qa, interface::commandline, role::program,
uitoolkit::ncurses
Section: haskell
Priority: optional
Filename: pool/main/a/agda/agda-bin_2.6.2.2-1.1_amd64.deb
Size: 7751992
MD5sum: 5f8d9a83270b77fde6510d2860d08f5a
SHA256: 8e4c39fd316f8b91800bea9b4ac580facc23c83030662c928031f1a9c2634466