How to Install and Uninstall libghc-agda-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 18,2024

1. Install "libghc-agda-dev" package

This guide covers the steps necessary to install libghc-agda-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-dev
            
                    
    
    Copied

2. Uninstall "libghc-agda-dev" package

This is a short guide on how to uninstall libghc-agda-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-dev package on Ubuntu 22.10 (Kinetic Kudu)

Package: libghc-agda-dev
Architecture: amd64
Version: 2.6.2.2-1
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: 247776
Provides: libghc-agda-dev-2.6.2.2-4d7aa
Depends: libghc-aeson-dev-2.0.3.0-0af41, libghc-array-dev-0.5.4.0-05687, libghc-async-dev-2.2.4-ed369, libghc-base-dev-4.15.1.0-7ed7d, libghc-binary-dev-0.8.8.0-24518, libghc-blaze-html-dev-0.9.1.2-15bb9, libghc-boxes-dev-0.1.5-75f81, libghc-bytestring-dev-0.10.12.1-2b657, libghc-case-insensitive-dev-1.2.1.0-150d0, libghc-containers-dev-0.6.4.1-51a1d, libghc-data-hash-dev-0.2.0.1-ffe67, libghc-deepseq-dev-1.4.5.0-5b6f4, libghc-directory-dev-1.3.6.2-c0653, libghc-edit-distance-dev-0.2.2.1-45852, libghc-equivalence-dev-0.4.0.1-08884, libghc-exceptions-dev-0.10.4-56182, libghc-filepath-dev-1.4.2.1-0176a, libghc-ghc-compact-dev-0.1.0.0-63c35, libghc-gitrev-dev-1.3.1-242c3, libghc-hashable-dev-1.3.5.0-19582, libghc-hashtables-dev-1.2.4.2-10ad6, libghc-haskeline-dev-0.8.2-2cebf, libghc-monad-control-dev-1.0.3.1-793ec, libghc-mtl-dev-2.2.2-30320, libghc-murmur-hash-dev-0.1.0.10-ec34b, libghc-parallel-dev-3.2.2.0-2d64a, libghc-pretty-dev-1.1.3.6-36e42, libghc-process-dev-1.6.13.2-c4cd2, libghc-regex-tdfa-dev-1.3.1.2-7106c, libghc-split-dev-0.2.3.4-97648, libghc-stm-dev-2.5.0.0-4e67a, libghc-strict-dev-0.4.0.1-8e02d, libghc-template-haskell-dev-2.17.0.0-64722, libghc-text-dev-1.2.5.0-31fc1, libghc-time-dev-1.9.3-5dfdf, libghc-transformers-dev-0.5.6.2-90456, libghc-unordered-containers-dev-0.2.17.0-74873, libghc-uri-encode-dev-1.5.0.7-607c2, libghc-zlib-dev-0.6.3.0-21792, 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_amd64.deb
Size: 26727928
MD5sum: 5160fdeee9bafb8a83634dbf332fc782
SHA1: 3d226afe8cfcd3270d6b78b1048d824d2dcd08a7
SHA256: 8bccafcc4d2c566a4627579e13171528c1fb4ceb2130bf67f38ded9ccb7a4898
SHA512: b289b5b332ae8aa1ae69889717e6118c082b7b3ac389772fe2a1f609bb27219a81737ff7a8d31a932812b787e6cc66694ba742d164e8fc0d7427b8c4677d032f
Homepage: https://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 367dee38c949eb56c7f0325161eedb49
Ghc-Package: Agda-2.6.2.2-5rOpLaXWsgUAjj2E1ubpft