How to Install and Uninstall libghc-agda-dev Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 19,2024

1. Install "libghc-agda-dev" package

Please follow the steps below to install libghc-agda-dev on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-dev
            
                    
    
    Copied

2. Uninstall "libghc-agda-dev" package

Please follow the guidance below to uninstall libghc-agda-dev on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-dev package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libghc-agda-dev
Architecture: amd64
Version: 2.5.3-3build1
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: 158979
Provides: libghc-agda-dev-2.5.3-c5b4b
Depends: libghc-edisoncore-dev-1.3.1.1-65415, libghc-array-dev-0.5.1.1-581e7, libghc-async-dev-2.1.1.1-a35d4, libghc-base-dev-4.9.1.0-d28d6, libghc-binary-dev-0.8.3.0-b46b7, libghc-blaze-html-dev-0.9.0.1-111c3, libghc-boxes-dev-0.1.4-6321a, libghc-bytestring-dev-0.10.8.1-45b2c, libghc-containers-dev-0.5.7.1-cd211, libghc-data-hash-dev-0.2.0.1-88d10, libghc-deepseq-dev-1.4.2.0-fb727, libghc-directory-dev-1.3.0.0-41ad6, libghc-edit-distance-dev-0.2.2.1-78656, libghc-equivalence-dev-0.3.2-2f3e0, libghc-filepath-dev-1.4.1.1-59c71, libghc-geniplate-mirror-dev-0.7.5-f9baa, libghc-gitrev-dev-1.3.1-18274, libghc-hashable-dev-1.2.6.1-04604, libghc-hashtables-dev-1.2.2.1-fb924, libghc-haskeline-dev-0.7.3.0-8fa0a, libghc-ieee754-dev-0.8.0-1e190, libghc-monadplus-dev-1.4.2-8cebd, libghc-mtl-dev-2.2.1-1a6c5, libghc-murmur-hash-dev-0.1.0.9-5fcbb, libghc-parallel-dev-3.2.1.1-e0bd1, libghc-pretty-dev-1.1.3.3-912de, libghc-process-dev-1.4.3.0-996f5, libghc-regex-tdfa-dev-1.2.2-83907, libghc-stm-dev-2.4.4.1-37ae7, libghc-strict-dev-0.3.2-c2f88, libghc-template-haskell-dev-2.11.1.0-14f6d, libghc-text-dev-1.2.2.2-5429b, libghc-time-dev-1.6.0.1-37aff, libghc-transformers-dev-0.5.2.0-1d020, libghc-unordered-containers-dev-0.2.8.0-40548, libghc-uri-encode-dev-1.5.0.5-3eabb, libghc-zlib-dev-0.6.1.2-a4a43, libc6 (>= 2.2.5), libgmp10, libtinfo5 (>= 6), zlib1g (>= 1:1.1.4)
Suggests: libghc-agda-doc
Filename: pool/universe/a/agda/libghc-agda-dev_2.5.3-3build1_amd64.deb
Size: 15874428
MD5sum: b99cb84cd033c1c45317bb15d275d688
SHA1: c7bbba79b5dca8a6a51530946ee5c76802db82d1
SHA256: 01bea1c378536e3c630bdbcd9798ffb333bc6b5a0f483892c12603de860e39ce
Homepage: http://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language
Description-md5: 367dee38c949eb56c7f0325161eedb49
Ghc-Package: Agda-2.5.3-2gr3MoC0RR6vLBKGKalcS