How to Install and Uninstall libghc-agda-doc Package on Kali Linux

Last updated: November 22,2024

1. Install "libghc-agda-doc" package

Please follow the guidance below to install libghc-agda-doc on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libghc-agda-doc
            
                    
    
    Copied

2. Uninstall "libghc-agda-doc" package

Learn how to uninstall libghc-agda-doc on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libghc-agda-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libghc-agda-doc package on Kali Linux

Package: libghc-agda-doc
Source: agda
Version: 2.6.3-1
Installed-Size: 169703
Maintainer: Debian Haskell Group
Architecture: all
Replaces: haskell-agda-doc
Provides: haskell-agda-doc
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-aeson-doc, libghc-agda-dev, libghc-async-doc, libghc-blaze-html-doc, libghc-boxes-doc, libghc-case-insensitive-doc, libghc-data-hash-doc, libghc-dlist-doc, libghc-edit-distance-doc, libghc-equivalence-doc, libghc-gitrev-doc, libghc-hashable-doc, libghc-monad-control-doc, libghc-murmur-hash-doc, libghc-parallel-doc, libghc-regex-tdfa-doc, libghc-split-doc, libghc-stmonadtrans-doc, libghc-strict-doc, libghc-time-compat-doc, libghc-unordered-containers-doc, libghc-uri-encode-doc, libghc-vector-doc, libghc-vector-hashtables-doc, libghc-zlib-doc, libjs-mathjax
Conflicts: haskell-agda-doc (<< 2.2.6-5)
Size: 6957572
SHA256: a27540428bb987499888ffb882a7128abb1acdf15247d1b73c3e671f29357df6
SHA1: e521ec9c95542100c214f40e598258495af80174
MD5sum: 94384daa77863b2d4b4620f6a151141b
Description: 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:
Homepage: https://wiki.portal.chalmers.se/agda/
Tag: devel::doc, made-of::html, role::documentation
Section: doc
Priority: optional
Filename: pool/main/a/agda/libghc-agda-doc_2.6.3-1_all.deb