How to Install and Uninstall agda-bin Package on Debian 10 (Buster)

Last updated: December 28,2024

1. Install "agda-bin" package

Please follow the guidance below to install agda-bin on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                agda-bin
            
                    
    
    Copied

2. Uninstall "agda-bin" package

In this section, we are going to explain the necessary steps to uninstall agda-bin on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                agda-bin
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the agda-bin package on Debian 10 (Buster)

Package: agda-bin
Source: agda (2.5.4.1-3)
Version: 2.5.4.1-3+b1
Installed-Size: 42559
Maintainer: Debian Haskell Group
Architecture: amd64
Depends: libatomic1 (>= 4.8), libc6 (>= 2.27), libffi6 (>= 3.0.4), libgmp10, libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Recommends: libghc-agda-dev (<< 2.5.4.1+~), libghc-agda-dev (>= 2.5.4.1)
Suggests: elpa-agda2-mode
Description: commandline interface to Agda
Description-md5: f8e26d204d9ccc3a3cfdad460ae35595
Homepage: http://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.5.4.1-3+b1_amd64.deb
Size: 5868440
MD5sum: 19c7318c4648b7046f19527104d1aa91
SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2