How to Install and Uninstall libghc-djinn-lib-doc Package on Kali Linux
Last updated: November 24,2024
1. Install "libghc-djinn-lib-doc" package
Please follow the step by step instructions below to install libghc-djinn-lib-doc on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
libghc-djinn-lib-doc
Copied
2. Uninstall "libghc-djinn-lib-doc" package
Here is a brief guide to show you how to uninstall libghc-djinn-lib-doc on Kali Linux:
$
sudo apt remove
libghc-djinn-lib-doc
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-djinn-lib-doc package on Kali Linux
Package: libghc-djinn-lib-doc
Source: haskell-djinn-lib
Version: 0.0.1.4-2
Installed-Size: 1498
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-djinn-lib-dev, libjs-mathjax
Suggests: libghc-djinn-lib-prof
Size: 92728
SHA256: 9bf28decf11049acbbdb09e647b5b3fb5d0fd6bc9278040f69e3904f61113856
SHA1: 9baa61d2290e4aca9da8160b97bf454ccfabfcd1
MD5sum: f77c1268ca0369b862fcb035220d1adc
Description: Generate Haskell code from a type; documentation
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
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: http://www.augustsson.net/Darcs/Djinn/
Section: doc
Priority: optional
Filename: pool/main/h/haskell-djinn-lib/libghc-djinn-lib-doc_0.0.1.4-2_all.deb
Source: haskell-djinn-lib
Version: 0.0.1.4-2
Installed-Size: 1498
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-djinn-lib-dev, libjs-mathjax
Suggests: libghc-djinn-lib-prof
Size: 92728
SHA256: 9bf28decf11049acbbdb09e647b5b3fb5d0fd6bc9278040f69e3904f61113856
SHA1: 9baa61d2290e4aca9da8160b97bf454ccfabfcd1
MD5sum: f77c1268ca0369b862fcb035220d1adc
Description: Generate Haskell code from a type; documentation
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
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: http://www.augustsson.net/Darcs/Djinn/
Section: doc
Priority: optional
Filename: pool/main/h/haskell-djinn-lib/libghc-djinn-lib-doc_0.0.1.4-2_all.deb