Install libghc-cryptol-prof by entering the following commands in the terminal:
sudo apt update sudo apt install libghc-cryptol-prof
Description:
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.
Homepage: http://www.cryptol.net/
Version: 2.4.0-3
Section: universe/haskell