How to Install and Uninstall libghc-cryptol-doc Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: May 20,2024

1. Install "libghc-cryptol-doc" package

Please follow the instructions below to install libghc-cryptol-doc on Ubuntu 21.04 (Hirsute Hippo)

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

2. Uninstall "libghc-cryptol-doc" package

This guide covers the steps necessary to uninstall libghc-cryptol-doc on Ubuntu 21.04 (Hirsute Hippo):

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

3. Information about the libghc-cryptol-doc package on Ubuntu 21.04 (Hirsute Hippo)

Package: libghc-cryptol-doc
Architecture: all
Version: 2.8.0-1build5
Priority: extra
Section: universe/doc
Source: haskell-cryptol
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 28859
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
Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-doc_2.8.0-1build5_all.deb
Size: 1223208
MD5sum: a8faaf0b3e96af6a86745be0d35e6d31
SHA1: 334e048cd76d59c8a21b59f15510be2da83c4674
SHA256: a5d99eb13b608fc3b3d878824231ecc8f0a9a5680d73a855add2757dc0bde9ad
SHA512: 09e93b3c324511744fc8ca7f1a1f7d608b06d0447948e8813998d636086e7785dc86425c01e597d62429299ad304628ffe93734e8fc7753b47e75022529f0c4c
Homepage: http://www.cryptol.net/
Description-en: 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