How to Install and Uninstall libghc-cryptol-prof Package on Debian 10 (Buster)

Last updated: May 18,2024

1. Install "libghc-cryptol-prof" package

This guide covers the steps necessary to install libghc-cryptol-prof on Debian 10 (Buster)

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

2. Uninstall "libghc-cryptol-prof" package

Here is a brief guide to show you how to uninstall libghc-cryptol-prof on Debian 10 (Buster):

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

3. Information about the libghc-cryptol-prof package on Debian 10 (Buster)

Package: libghc-cryptol-prof
Source: haskell-cryptol (2.6.0-3)
Version: 2.6.0-3+b1
Installed-Size: 46978
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-cryptol-prof-2.6.0-868ec
Depends: libghc-cryptol-dev (= 2.6.0-3+b1), libghc-graphscc-prof-1.0.4-37c8e, libghc-array-prof-0.5.2.0-03a64, libghc-base-prof-4.11.1.0-5dd74, libghc-base-compat-prof-0.10.4-f7a27, libghc-bytestring-prof-0.10.8.2-76891, libghc-containers-prof-0.5.11.0-e0faa, libghc-deepseq-prof-1.4.3.0-17e4f, libghc-directory-prof-1.3.1.5-a6230, libghc-filepath-prof-1.4.2-27f5e, libghc-gitrev-prof-1.3.1-8be32, libghc-heredoc-prof-0.2.0.0-2a3f2, libghc-monad-control-prof-1.0.2.3-e43f1, libghc-monadlib-prof-3.7.3-f3560, libghc-mtl-prof-2.2.2-28a8b, libghc-panic-prof-0.4.0.1-f7723, libghc-pretty-prof-1.1.3.6-aea39, libghc-process-prof-1.6.3.0-5105e, libghc-random-prof-1.1-1827c, libghc-sbv-prof-7.12-3ec05, libghc-simple-smt-prof-0.9.1-3b07d, libghc-strict-prof-0.3.2-e3bc9, libghc-text-prof-1.2.3.1-30bbe, libghc-tf-random-prof-0.5-2967a, libghc-time-prof-1.8.0.2-2ae9f, libghc-transformers-base-prof-0.4.5.2-9c404
Description: domain-specific language of cryptography; profiling libraries
Description-md5: d733a536b97ad5724700670b176fd936
Homepage: http://www.cryptol.net/
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-cryptol/libghc-cryptol-prof_2.6.0-3+b1_amd64.deb
Size: 3967988
MD5sum: 890caa323660b1a7d9111aaf56d5e553
SHA256: 3ceac79121267beba4a69bfc8d919d59ee919b57c5d3254dd3b8895c511533d1