How to Install and Uninstall libghc-cryptol-prof Package on Ubuntu 20.10 (Groovy Gorilla)
Last updated: November 07,2024
1. Install "libghc-cryptol-prof" package
Please follow the instructions below to install libghc-cryptol-prof on Ubuntu 20.10 (Groovy Gorilla)
$
sudo apt update
Copied
$
sudo apt install
libghc-cryptol-prof
Copied
2. Uninstall "libghc-cryptol-prof" package
In this section, we are going to explain the necessary steps to uninstall libghc-cryptol-prof on Ubuntu 20.10 (Groovy Gorilla):
$
sudo apt remove
libghc-cryptol-prof
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-cryptol-prof package on Ubuntu 20.10 (Groovy Gorilla)
Package: libghc-cryptol-prof
Architecture: amd64
Version: 2.8.0-1build4
Priority: extra
Section: universe/haskell
Source: haskell-cryptol
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 48949
Provides: libghc-cryptol-prof-2.8.0-44ce2
Depends: libghc-cryptol-dev (= 2.8.0-1build4), libghc-graphscc-prof-1.0.4-b2b71, libghc-array-prof-0.5.4.0-4a8d7, libghc-base-prof-4.13.0.0-c9705, libghc-base-compat-prof-0.11.1-224a5, libghc-bytestring-prof-0.10.10.0-70a9a, libghc-containers-prof-0.6.2.1-b8f3d, libghc-cryptohash-sha1-prof-0.11.100.1-5164e, libghc-deepseq-prof-1.4.4.0-b386b, libghc-directory-prof-1.3.6.0-a7edc, libghc-filepath-prof-1.4.2.1-251c0, libghc-gitrev-prof-1.3.1-517b1, libghc-heredoc-prof-0.2.0.0-9995f, libghc-monad-control-prof-1.0.2.3-19eb9, libghc-monadlib-prof-3.10-91f67, libghc-mtl-prof-2.2.2-13482, libghc-panic-prof-0.4.0.1-c0227, libghc-pretty-prof-1.1.3.6-e80bb, libghc-process-prof-1.6.8.0-e3a1c, libghc-random-prof-1.1-04308, libghc-sbv-prof-8.7-d53aa, libghc-simple-smt-prof-0.9.5-e1d0d, libghc-strict-prof-0.3.2-3596c, libghc-text-prof-1.2.4.0-455b7, libghc-tf-random-prof-0.5-41787, libghc-time-prof-1.9.3-a9e1f, libghc-transformers-base-prof-0.4.5.2-64a24
Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-prof_2.8.0-1build4_amd64.deb
Size: 4121560
MD5sum: 40df5edf0e7db23baae2615a460aa082
SHA1: 859d717d566acb4bd2cb317335622901a69795ed
SHA256: 2d8509c4d1c5663f4ba443e467b3229e0ebcec811d72f937bd99929e8e91a2b7
SHA512: 2d8c9cef4c9be3ab66394fdeb2d3e343dac5839769582598daca3a15216d4fa5fe1ed2818e011e96821d26be0304a485ed20b0782426b453725d7e7a4e9543ff
Homepage: http://www.cryptol.net/
Description-en: domain-specific language of cryptography; profiling libraries
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 a library for the Haskell programming language, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell.
Description-md5: d733a536b97ad5724700670b176fd936
Architecture: amd64
Version: 2.8.0-1build4
Priority: extra
Section: universe/haskell
Source: haskell-cryptol
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 48949
Provides: libghc-cryptol-prof-2.8.0-44ce2
Depends: libghc-cryptol-dev (= 2.8.0-1build4), libghc-graphscc-prof-1.0.4-b2b71, libghc-array-prof-0.5.4.0-4a8d7, libghc-base-prof-4.13.0.0-c9705, libghc-base-compat-prof-0.11.1-224a5, libghc-bytestring-prof-0.10.10.0-70a9a, libghc-containers-prof-0.6.2.1-b8f3d, libghc-cryptohash-sha1-prof-0.11.100.1-5164e, libghc-deepseq-prof-1.4.4.0-b386b, libghc-directory-prof-1.3.6.0-a7edc, libghc-filepath-prof-1.4.2.1-251c0, libghc-gitrev-prof-1.3.1-517b1, libghc-heredoc-prof-0.2.0.0-9995f, libghc-monad-control-prof-1.0.2.3-19eb9, libghc-monadlib-prof-3.10-91f67, libghc-mtl-prof-2.2.2-13482, libghc-panic-prof-0.4.0.1-c0227, libghc-pretty-prof-1.1.3.6-e80bb, libghc-process-prof-1.6.8.0-e3a1c, libghc-random-prof-1.1-04308, libghc-sbv-prof-8.7-d53aa, libghc-simple-smt-prof-0.9.5-e1d0d, libghc-strict-prof-0.3.2-3596c, libghc-text-prof-1.2.4.0-455b7, libghc-tf-random-prof-0.5-41787, libghc-time-prof-1.9.3-a9e1f, libghc-transformers-base-prof-0.4.5.2-64a24
Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-prof_2.8.0-1build4_amd64.deb
Size: 4121560
MD5sum: 40df5edf0e7db23baae2615a460aa082
SHA1: 859d717d566acb4bd2cb317335622901a69795ed
SHA256: 2d8509c4d1c5663f4ba443e467b3229e0ebcec811d72f937bd99929e8e91a2b7
SHA512: 2d8c9cef4c9be3ab66394fdeb2d3e343dac5839769582598daca3a15216d4fa5fe1ed2818e011e96821d26be0304a485ed20b0782426b453725d7e7a4e9543ff
Homepage: http://www.cryptol.net/
Description-en: domain-specific language of cryptography; profiling libraries
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 a library for the Haskell programming language, compiled
for profiling. See http://www.haskell.org/ for more information on Haskell.
Description-md5: d733a536b97ad5724700670b176fd936