How to Install and Uninstall libghc-djinn-lib-prof Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: April 29,2024

1. Install "libghc-djinn-lib-prof" package

This tutorial shows how to install libghc-djinn-lib-prof on Ubuntu 21.04 (Hirsute Hippo)

$ sudo apt update $ sudo apt install libghc-djinn-lib-prof

2. Uninstall "libghc-djinn-lib-prof" package

Please follow the steps below to uninstall libghc-djinn-lib-prof on Ubuntu 21.04 (Hirsute Hippo):

$ sudo apt remove libghc-djinn-lib-prof $ sudo apt autoclean && sudo apt autoremove

3. Information about the libghc-djinn-lib-prof package on Ubuntu 21.04 (Hirsute Hippo)

Package: libghc-djinn-lib-prof
Architecture: amd64
Version: 0.0.1.3-4build2
Priority: extra
Section: universe/haskell
Source: haskell-djinn-lib
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1436
Provides: libghc-djinn-lib-prof-0.0.1.3-ade36
Depends: libghc-djinn-lib-dev (= 0.0.1.3-4build2), libghc-base-prof-4.13.0.0-2f220, libghc-containers-prof-0.6.2.1-ab1cf, libghc-mtl-prof-2.2.2-7208c, libghc-pretty-prof-1.1.3.6-33019
Filename: pool/universe/h/haskell-djinn-lib/libghc-djinn-lib-prof_0.0.1.3-4build2_amd64.deb
Size: 154884
MD5sum: 6bbd26e89d22164afe82aaee494c0789
SHA1: 1df94f6a71a816c79808eb042ede355bb968ce39
SHA256: de1f2456431ec220a4f1bff67da3e6bdee294784b58ee032dc3377c1aa31d68e
SHA512: b318070460e5241f70ed6399231ee9d77d3838221b2a6fb22f1997351f7fc606ae5de39eb26ca5f0632e3dfae4176d7d11416538ee201632f42d46777155ee3e
Homepage: http://www.augustsson.net/Darcs/Djinn/
Description-en: Generate Haskell code from a type; profiling libraries
Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type. This is a library extracted
from Djinn-Lib sources.
.
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: f75be10cbc18413e643521359fd14d6a