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

Last updated: May 16,2024

1. Install "libghc-agda-dev" package

This guide let you learn how to install libghc-agda-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libghc-agda-dev
Architecture: amd64
Version: 2.6.2.2-1.1build1
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: 247774
Provides: libghc-agda-dev-2.6.2.2-d7ce4
Depends: libghc-aeson-dev-2.0.3.0-81c12, libghc-array-dev-0.5.4.0-0b6fa, libghc-async-dev-2.2.4-7edea, libghc-base-dev-4.15.1.0-6a406, libghc-binary-dev-0.8.8.0-507cc, libghc-blaze-html-dev-0.9.1.2-d5145, libghc-boxes-dev-0.1.5-fe15f, libghc-bytestring-dev-0.10.12.1-ced9a, libghc-case-insensitive-dev-1.2.1.0-ea097, libghc-containers-dev-0.6.4.1-31c3b, libghc-data-hash-dev-0.2.0.1-3af90, libghc-deepseq-dev-1.4.5.0-118cf, libghc-directory-dev-1.3.6.2-311c9, libghc-edit-distance-dev-0.2.2.1-cc475, libghc-equivalence-dev-0.4.1-9ed28, libghc-exceptions-dev-0.10.4-c14ff, libghc-filepath-dev-1.4.2.1-4459f, libghc-ghc-compact-dev-0.1.0.0-7d71d, libghc-gitrev-dev-1.3.1-3f551, libghc-hashable-dev-1.3.5.0-3fad8, libghc-hashtables-dev-1.2.4.2-4be59, libghc-haskeline-dev-0.8.2-83f75, libghc-monad-control-dev-1.0.3.1-20361, libghc-mtl-dev-2.2.2-e3bae, libghc-murmur-hash-dev-0.1.0.10-f9651, libghc-parallel-dev-3.2.2.0-7cbf2, libghc-pretty-dev-1.1.3.6-b017f, libghc-process-dev-1.6.13.2-9f25f, libghc-regex-tdfa-dev-1.3.2-1c748, libghc-split-dev-0.2.3.5-0c13f, libghc-stm-dev-2.5.0.0-4cba8, libghc-strict-dev-0.4.0.1-ab886, libghc-template-haskell-dev-2.17.0.0-7274a, libghc-text-dev-1.2.5.0-8553e, libghc-time-dev-1.9.3-bda76, libghc-transformers-dev-0.5.6.2-fc6f3, libghc-unordered-containers-dev-0.2.17.0-4df9d, libghc-uri-encode-dev-1.5.0.7-d0941, libghc-zlib-dev-0.6.3.0-57e0e, libc6 (>= 2.29), libgmp10 (>= 2:6.2.1+dfsg1), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Filename: pool/universe/a/agda/libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb
Size: 26726334
MD5sum: 5f6b8d68ebeef54b0f8c02255f5832a1
SHA1: 5a4d2e56d9b08b01f5dfcf5152c588a229edd8cd
SHA256: 9a1a3e134af9159e362e1420e4b1d4e794e0a191ddf5816826f6f22511684d69
SHA512: 2734ad4a1542bf5d903160259942a2543b134b8a4ed9995d6bc8ba32da27b5f00bedb6409494836dbf3a0e7446f5e8b9a2c51387c08069ef9bad2143a593bf58
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 367dee38c949eb56c7f0325161eedb49
Ghc-Package: Agda-2.6.2.2-AiYRQA1QRsBDmBtJiaOX30