How to Install and Uninstall libghc-cryptol-doc Package on Debian 11 (Bullseye)
Last updated: December 25,2024
1. Install "libghc-cryptol-doc" package
This guide covers the steps necessary to install libghc-cryptol-doc on Debian 11 (Bullseye)
$
sudo apt update
Copied
$
sudo apt install
libghc-cryptol-doc
Copied
2. Uninstall "libghc-cryptol-doc" package
Here is a brief guide to show you how to uninstall libghc-cryptol-doc on Debian 11 (Bullseye):
$
sudo apt remove
libghc-cryptol-doc
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-cryptol-doc package on Debian 11 (Bullseye)
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
Description: domain-specific language of cryptography; documentation
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
Size: 1238688
MD5sum: c41d8b6aab5ca54fbfe71acd3dfe0d86
SHA256: 4e8844e5d9d909825f17eb9fa09984ef765468e5cf36d8658efecc0f29aa0a13
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
Description: domain-specific language of cryptography; documentation
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
Size: 1238688
MD5sum: c41d8b6aab5ca54fbfe71acd3dfe0d86
SHA256: 4e8844e5d9d909825f17eb9fa09984ef765468e5cf36d8658efecc0f29aa0a13