How to Install and Uninstall libghc-agda-dev Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 13,2024

1. Install "libghc-agda-dev" package

In this section, we are going to explain the necessary steps to install libghc-agda-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-dev
            
                    
    
    Copied

2. Uninstall "libghc-agda-dev" package

Please follow the instructions below to uninstall libghc-agda-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-dev package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libghc-agda-dev
Architecture: amd64
Version: 2.6.3-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: 222057
Provides: libghc-agda-dev-2.6.3-882a2
Depends: libghc-aeson-dev-2.1.2.1-b87c3, libghc-array-dev-0.5.4.0-0952c, libghc-async-dev-2.2.4-2b734, libghc-base-dev-4.17.2.0-68dfe, libghc-binary-dev-0.8.9.1-6a9d2, libghc-blaze-html-dev-0.9.1.2-38c38, libghc-boxes-dev-0.1.5-c48de, libghc-bytestring-dev-0.11.5.2-6590e, libghc-case-insensitive-dev-1.2.1.0-d0ee4, libghc-containers-dev-0.6.7-a1650, libghc-data-hash-dev-0.2.0.1-27079, libghc-deepseq-dev-1.4.8.0-ddf16, libghc-directory-dev-1.3.7.1-e5694, libghc-dlist-dev-1.0-afbc1, libghc-edit-distance-dev-0.2.2.1-56d08, libghc-equivalence-dev-0.4.1-d6c01, libghc-exceptions-dev-0.10.5-3dbf4, libghc-filepath-dev-1.4.2.2-290a6, libghc-ghc-compact-dev-0.1.0.0-d6f68, libghc-gitrev-dev-1.3.1-0e910, libghc-hashable-dev-1.4.3.0-e937e, libghc-haskeline-dev-0.8.2-390ba, libghc-monad-control-dev-1.0.3.1-d981c, libghc-mtl-dev-2.2.2-6f39a, libghc-murmur-hash-dev-0.1.0.10-db7ab, libghc-parallel-dev-3.2.2.0-afc9a, libghc-pretty-dev-1.1.3.6-1aa0a, libghc-process-dev-1.6.17.0-29e15, libghc-regex-tdfa-dev-1.3.2.2-4f08e, libghc-split-dev-0.2.3.5-0947f, libghc-stm-dev-2.5.1.0-c4a56, libghc-stmonadtrans-dev-0.4.7-29b5b, libghc-strict-dev-0.5-6de3b, libghc-text-dev-2.0.2-0847e, libghc-time-compat-dev-1.9.6.1-267b5, libghc-time-dev-1.12.2-491a0, libghc-transformers-dev-0.5.6.2-931c3, libghc-unordered-containers-dev-0.2.19.1-4f4d5, libghc-uri-encode-dev-1.5.0.7-a7d4e, libghc-vector-dev-0.13.1.0-1ffee, libghc-vector-hashtables-dev-0.1.1.3-36ab5, libghc-zlib-dev-0.6.3.0-b4315, libc6 (>= 2.29), libgmp10 (>= 2:6.3.0+dfsg), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Filename: pool/universe/a/agda/libghc-agda-dev_2.6.3-1build1_amd64.deb
Size: 25485196
MD5sum: e0eb872338d3bbf3e580ced3a6bbde54
SHA1: c0c5603c7f9b53fa6886a5fa13df38a8b2b039d2
SHA256: 84c8810cb45493aa26b6838928b0aec5a233d7e9ae4a0830b63cb85efc3d0388
SHA512: 19786e4fd3ebef450ca6b1305bec1796cff88de896bc8db33faf15bb006b920b94ddfa19bcb9b5c239a3712d38e0749f4e9457baa05273c8162bb9266afd6d66
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 367dee38c949eb56c7f0325161eedb49
Ghc-Package: Agda-2.6.3-F91ij4KwIR0JAPMMfugHqV