How to Install and Uninstall libghc-agda-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: September 20,2024

1. Install "libghc-agda-dev" package

Please follow the guidelines below to install libghc-agda-dev on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-dev
            
                    
    
    Copied

2. Uninstall "libghc-agda-dev" package

Please follow the step by step instructions below to uninstall libghc-agda-dev on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-dev package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libghc-agda-dev
Priority: extra
Section: universe/haskell
Installed-Size: 106037
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Architecture: amd64
Source: agda
Version: 2.4.2.5-1build1
Provides: libghc-agda-dev-2.4.2.5-eb6ad
Depends: libc6 (>= 2.2.5), libghc-quickcheck-dev-2.8.1-3b4e5, libghc-array-dev-0.5.1.0-960bf, libghc-base-dev-4.8.2.0-0d6d1, libghc-binary-dev-0.7.5.0-bf6a9, libghc-boxes-dev-0.1.4-540f7, libghc-bytestring-dev-0.10.6.0-9a873, libghc-containers-dev-0.5.6.2-59326, libghc-data-hash-dev-0.2.0.1-f4dbc, libghc-deepseq-dev-1.4.1.1-614b6, libghc-directory-dev-1.2.2.0-660a7, libghc-edit-distance-dev-0.2.2.1-9d389, libghc-equivalence-dev-0.3.1-bc260, libghc-filepath-dev-1.4.0.0-f97d1, libghc-geniplate-mirror-dev-0.7.1-31783, libghc-hashable-dev-1.2.3.3-ce7af, libghc-hashtables-dev-1.2.1.0-cde8e, libghc-haskeline-dev-0.7.2.1-ee66b, libghc-haskell-src-exts-dev-1.17.1-5b24e, libghc-mtl-dev-2.2.1-3af90, libghc-parallel-dev-3.2.1.0-13fa5, libghc-pretty-dev-1.1.2.0-5cc41, libghc-process-dev-1.2.3.0-a2232, libghc-strict-dev-0.3.2-83c3e, libghc-template-haskell-dev-2.10.0.0-3c4cb, libghc-text-dev-1.2.2.0-2c09c, libghc-time-dev-1.5.0.1-1b9a5, libghc-transformers-dev-0.4.2.0-81450, libghc-transformers-compat-dev-0.4.0.4-8aa40, libghc-unordered-containers-dev-0.2.5.1-a371f, libghc-xhtml-dev-3000.2.1-e0059, libghc-zlib-dev-0.6.1.1-15b43
Suggests: libghc-agda-doc
Filename: pool/universe/a/agda/libghc-agda-dev_2.4.2.5-1build1_amd64.deb
Size: 10670346
MD5sum: 44eac84d3baa552b270a3be8f448547b
SHA1: 143e348b93b961f16dd52c5fe5e393cddb492a8a
SHA256: 4e7667d8baf844d206c70fc7487459ac032650d67ab8673061b0851ac5687f0e
Description-en: dependently typed functional programming language
Agda is a dependently typed functional programming language: It has inductive
families, which are like Haskell's GADTs, but they can be indexed by values and
not just types. It also has parameterised modules, mixfix operators, Unicode
characters, and an interactive Emacs interface (the type checker can assist in
the development of your code).
.
Agda is also a proof assistant: It is an interactive system for writing and
checking proofs. Agda is based on intuitionistic type theory, a foundational
system for constructive mathematics developed by the Swedish logician Per
Martin-Löf. It has many similarities with other proof assistants based on
dependent types, such as Coq, Epigram and NuPRL.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5: 367dee38c949eb56c7f0325161eedb49
Homepage: http://wiki.portal.chalmers.se/agda/
Ghc-Package: Agda-2.4.2.5-eb6ad65e32dd19dcd12d51d28efcace3
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu