Install libghc-smtlib-prof by entering the following commands in the terminal:
sudo apt update sudo apt install libghc-smtlib-prof
Description:
A library for working with the SMTLIB format.; profiling libraries
. . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.
Version: 1.0.8-3build1
Section: universe/haskell