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

Last updated: December 24,2024

1. Install "libghc-cryptol-doc" package

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

$ sudo apt update $ sudo apt install libghc-cryptol-doc

2. Uninstall "libghc-cryptol-doc" package

Please follow the guidance below to uninstall libghc-cryptol-doc on Kali Linux:

$ sudo apt remove libghc-cryptol-doc $ sudo apt autoclean && sudo apt autoremove

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

Package: libghc-cryptol-doc
Source: haskell-cryptol
Version: 2.8.0-1
Installed-Size: 28883
Maintainer: Debian Haskell Group
Architecture: all
Depends: haddock-interface-35
Recommends: libghc-base-compat-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-panic-doc, libghc-random-doc, libghc-sbv-doc, libghc-transformers-base-doc, libjs-mathjax
Size: 1238688
SHA256: 4e8844e5d9d909825f17eb9fa09984ef765468e5cf36d8658efecc0f29aa0a13
SHA1: 8e6739e251cc964ca209864e27246e6d7a9b9928
MD5sum: c41d8b6aab5ca54fbfe71acd3dfe0d86
Description: domain-specific language of cryptography; documentation
Cryptol is a domain-specific language for specifying cryptographic
algorithms. A Cryptol implementation of an algorithm resembles its
mathematical specification more closely than an implementation in
a general purpose language.
.
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: a4f102dee8829f71ffaaa2898e14af77
Homepage: http://www.cryptol.net/
Section: doc
Priority: optional
Filename: pool/main/h/haskell-cryptol/libghc-cryptol-doc_2.8.0-1_all.deb