How to Install and Uninstall libghc-agda-doc Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 17,2024

1. Install "libghc-agda-doc" package

This tutorial shows how to install libghc-agda-doc on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-doc
            
                    
    
    Copied

2. Uninstall "libghc-agda-doc" package

This guide let you learn how to uninstall libghc-agda-doc on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-doc package on Ubuntu 20.10 (Groovy Gorilla)

Package: libghc-agda-doc
Architecture: all
Version: 2.6.1-1build1
Priority: extra
Section: universe/doc
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 130609
Provides: haskell-agda-doc
Depends: haddock-interface-35
Recommends: libghc-aeson-doc, libghc-async-doc, libghc-blaze-html-doc, libghc-equivalence-doc, libghc-exceptions-doc, libghc-geniplate-mirror-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-strict-doc, libghc-unordered-containers-doc, libjs-mathjax
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Replaces: haskell-agda-doc
Filename: pool/universe/a/agda/libghc-agda-doc_2.6.1-1build1_all.deb
Size: 5767640
MD5sum: 6333359f79e383a78cd124fcc01d133b
SHA1: f71167eb30edf3f9cf172b37b33619881451141e
SHA256: 2fcdb8567a7dd7d725c0c00d36acba49d943301fa2e90935d34821d44faf6ecf
SHA512: 9c9495947953a9e66f10241f1c087c056b11f4fcae7519c0bd0d8ac003e1453332b56903711408773f26d043a268c54564e9a64e762ff45100a10846b36a1e90
Homepage: https://wiki.portal.chalmers.se/agda/
Description-en: dependently typed functional programming language; documentation
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 the documentation for a library for the Haskell
programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5: 42838d7e4b43bdeee8091f83a2111b33