How to Install and Uninstall libghc-djinn-ghc-doc Package on Kali Linux
Last updated: December 29,2024
Deprecated! Installation of this package may no longer be supported.
1. Install "libghc-djinn-ghc-doc" package
Learn how to install libghc-djinn-ghc-doc on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
libghc-djinn-ghc-doc
Copied
2. Uninstall "libghc-djinn-ghc-doc" package
This is a short guide on how to uninstall libghc-djinn-ghc-doc on Kali Linux:
$
sudo apt remove
libghc-djinn-ghc-doc
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-djinn-ghc-doc package on Kali Linux
Package: libghc-djinn-ghc-doc
Source: haskell-djinn-ghc
Version: 0.0.2.3-10
Installed-Size: 212
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-35
Recommends: libjs-mathjax
Size: 42960
SHA256: 8404ba0b8110df6f644904e652b9ce368c0aad94da55e6044c76694f28d7d432
SHA1: 05d024881044a04ac79a84c24079038f67ec572e
MD5sum: dd979cb44fac01ed7d2b8e4993f6324d
Description: generate Haskell code from a type (bridge to GHC API); documentation
Djinn uses an theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is the bridge from djinn-lib to
GHC API.
.
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: 025a3749ba376e6e0eb1a739e722e0ae
Homepage: http://hackage.haskell.org/package/djinn-ghc
Section: doc
Priority: optional
Filename: pool/main/h/haskell-djinn-ghc/libghc-djinn-ghc-doc_0.0.2.3-10_all.deb
Source: haskell-djinn-ghc
Version: 0.0.2.3-10
Installed-Size: 212
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-35
Recommends: libjs-mathjax
Size: 42960
SHA256: 8404ba0b8110df6f644904e652b9ce368c0aad94da55e6044c76694f28d7d432
SHA1: 05d024881044a04ac79a84c24079038f67ec572e
MD5sum: dd979cb44fac01ed7d2b8e4993f6324d
Description: generate Haskell code from a type (bridge to GHC API); documentation
Djinn uses an theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is the bridge from djinn-lib to
GHC API.
.
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: 025a3749ba376e6e0eb1a739e722e0ae
Homepage: http://hackage.haskell.org/package/djinn-ghc
Section: doc
Priority: optional
Filename: pool/main/h/haskell-djinn-ghc/libghc-djinn-ghc-doc_0.0.2.3-10_all.deb