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

Last updated: September 19,2024

1. Install "libghc-agda-dev" package

Here is a brief guide to show you how to install libghc-agda-dev on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-dev
            
                    
    
    Copied

2. Uninstall "libghc-agda-dev" package

Please follow the guidelines below to uninstall libghc-agda-dev on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-agda-dev
Source: agda (2.5.4.1-3)
Version: 2.5.4.1-3+b1
Installed-Size: 173746
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-agda-dev-2.5.4.1-c57dd
Depends: libghc-edisoncore-dev-1.3.2.1-6c774, libghc-array-dev-0.5.2.0-03a64, libghc-async-dev-2.2.1-e4f49, libghc-base-dev-4.11.1.0-5dd74, libghc-binary-dev-0.8.5.1-24ea6, libghc-blaze-html-dev-0.9.1.1-b095e, libghc-boxes-dev-0.1.5-d3bf2, libghc-bytestring-dev-0.10.8.2-76891, libghc-containers-dev-0.5.11.0-e0faa, libghc-data-hash-dev-0.2.0.1-9994b, libghc-deepseq-dev-1.4.3.0-17e4f, libghc-directory-dev-1.3.1.5-a6230, libghc-edit-distance-dev-0.2.2.1-34955, libghc-equivalence-dev-0.3.2-d7e29, libghc-filepath-dev-1.4.2-27f5e, libghc-geniplate-mirror-dev-0.7.6-ce5d7, libghc-gitrev-dev-1.3.1-8be32, libghc-hashable-dev-1.2.7.0-68a88, libghc-hashtables-dev-1.2.3.1-a61a4, libghc-haskeline-dev-0.7.4.2-df8c7, libghc-ieee754-dev-0.8.0-74071, libghc-mtl-dev-2.2.2-28a8b, libghc-murmur-hash-dev-0.1.0.9-a8f0d, libghc-pretty-dev-1.1.3.6-aea39, libghc-process-dev-1.6.3.0-5105e, libghc-regex-tdfa-dev-1.2.3.1-3f38d, libghc-stm-dev-2.4.5.1-e1689, libghc-strict-dev-0.3.2-e3bc9, libghc-template-haskell-dev-2.13.0.0-87d93, libghc-text-dev-1.2.3.1-30bbe, libghc-time-dev-1.8.0.2-2ae9f, libghc-transformers-dev-0.5.5.0-b5d2f, libghc-unordered-containers-dev-0.2.9.0-e9bb1, libghc-uri-encode-dev-1.5.0.5-52ce8, libghc-zlib-dev-0.6.2-c91de, libatomic1 (>= 4.8), libc6 (>= 2.2.5), libgmp10, libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Suggests: libghc-agda-doc
Description: dependently typed functional programming language
Description-md5: 367dee38c949eb56c7f0325161eedb49
Homepage: http://wiki.portal.chalmers.se/agda/
Ghc-Package: Agda-2.5.4.1-Hn9DfijrxNi2OOIMamLJRg
Section: haskell
Priority: optional
Filename: pool/main/a/agda/libghc-agda-dev_2.5.4.1-3+b1_amd64.deb
Size: 17170668
MD5sum: b72791d58bafade7fa35bb3768c17212
SHA256: 741df47657f91d8814a93608a8a4955d76f1365060b0f2574490280e3d2b3471