How to Install and Uninstall libghc-cryptol-doc Package on Ubuntu 21.10 (Impish Indri)

Last updated: December 25,2024

1. Install "libghc-cryptol-doc" package

This guide covers the steps necessary to install libghc-cryptol-doc on Ubuntu 21.10 (Impish Indri)

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

2. Uninstall "libghc-cryptol-doc" package

This tutorial shows how to uninstall libghc-cryptol-doc on Ubuntu 21.10 (Impish Indri):

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

3. Information about the libghc-cryptol-doc package on Ubuntu 21.10 (Impish Indri)

Package: libghc-cryptol-doc
Architecture: all
Version: 2.8.0-1build5.1
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: 32018
Depends: haddock-interface-35
Recommends: ghc-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.1_all.deb
Size: 1148914
MD5sum: e052b6764ec16bb4137befc2b49aaa6d
SHA1: 13173353dc9936065067d9b95e920a25f4e06f4e
SHA256: ef5dd4bf95c85288882b4640b554bbad99b018de962f3d64079c0bd630fa9882
SHA512: f03a05b15f33a0fef2fe30dd6c642b30a3026f42dd7fcd8531ea92924b8a84eab739a763d4662cb84ba520aa3567c02d3ae06df854718341d6a1ecde708d6deb
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