How to Install and Uninstall libghc-agda-dev Package on Linux Mint 20.3 (Una)

Last updated: May 15,2024

1. Install "libghc-agda-dev" package

This is a short guide on how to install libghc-agda-dev on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-dev
            
                    
    
    Copied

2. Uninstall "libghc-agda-dev" package

This guide let you learn how to uninstall libghc-agda-dev on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-dev package on Linux Mint 20.3 (Una)

Package: libghc-agda-dev
Architecture: amd64
Version: 2.6.0.1-1build4
Priority: extra
Section: universe/haskell
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 199883
Provides: libghc-agda-dev-2.6.0.1-e1905
Depends: libghc-edisoncore-dev-1.3.2.1-83c47, libghc-aeson-dev-1.4.2.0-fe1b8, libghc-array-dev-0.5.3.0-ea273, libghc-async-dev-2.2.2-1bf81, libghc-base-dev-4.12.0.0-a86a1, libghc-binary-dev-0.8.6.0-5ca49, libghc-blaze-html-dev-0.9.1.1-d206c, libghc-boxes-dev-0.1.5-27afd, libghc-bytestring-dev-0.10.8.2-20f27, libghc-containers-dev-0.6.0.1-b7319, libghc-data-hash-dev-0.2.0.1-59c2c, libghc-deepseq-dev-1.4.4.0-b5530, libghc-directory-dev-1.3.3.0-40647, libghc-edit-distance-dev-0.2.2.1-b8400, libghc-equivalence-dev-0.3.4-93646, libghc-exceptions-dev-0.10.2-29311, libghc-filepath-dev-1.4.2.1-774a0, libghc-geniplate-mirror-dev-0.7.6-2226f, libghc-gitrev-dev-1.3.1-dbf1a, libghc-hashable-dev-1.2.7.0-4dcfe, libghc-hashtables-dev-1.2.3.3-dc2af, libghc-haskeline-dev-0.7.4.3-42a19, libghc-ieee754-dev-0.8.0-8f285, libghc-mtl-dev-2.2.2-07ff1, libghc-murmur-hash-dev-0.1.0.9-222c3, libghc-pretty-dev-1.1.3.6-4f0eb, libghc-process-dev-1.6.5.0-e8028, libghc-regex-tdfa-dev-1.2.3.2-9c517, libghc-split-dev-0.2.3.3-ec171, libghc-stm-dev-2.5.0.0-daead, libghc-strict-dev-0.3.2-9c8e0, libghc-template-haskell-dev-2.14.0.0-47084, libghc-text-dev-1.2.3.1-538d8, libghc-time-dev-1.8.0.2-76e12, libghc-transformers-dev-0.5.6.2-08fea, libghc-unordered-containers-dev-0.2.10.0-31f27, libghc-uri-encode-dev-1.5.0.5-4ad70, libghc-zlib-dev-0.6.2-82ce3, libatomic1 (>= 4.8), libc6 (>= 2.29), libgmp10, libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Suggests: libghc-agda-doc
Filename: pool/universe/a/agda/libghc-agda-dev_2.6.0.1-1build4_amd64.deb
Size: 19681864
MD5sum: 509fb60805bf83f6c7973d107d5ba482
SHA1: ce2d8e7a624b8c9aa09ad42ba605bf362ece4953
SHA256: 09540e5ec3109a3f9b6254400d59e88bc768de05e1317b9835d4159a7620a653
Homepage: http://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 367dee38c949eb56c7f0325161eedb49
Ghc-Package: Agda-2.6.0.1-1X7fHcR3xPHzuc9vp1IMb