How to Install and Uninstall libghc-logict-dev Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 05,2024

1. Install "libghc-logict-dev" package

Please follow the steps below to install libghc-logict-dev on Ubuntu 20.10 (Groovy Gorilla)

$ sudo apt update $ sudo apt install libghc-logict-dev

2. Uninstall "libghc-logict-dev" package

This tutorial shows how to uninstall libghc-logict-dev on Ubuntu 20.10 (Groovy Gorilla):

$ sudo apt remove libghc-logict-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libghc-logict-dev package on Ubuntu 20.10 (Groovy Gorilla)

Package: libghc-logict-dev
Architecture: amd64
Version: 0.7.0.2-1build1
Priority: extra
Section: universe/haskell
Source: haskell-logict
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 661
Provides: libghc-logict-dev-0.7.0.2-c1c08
Depends: libghc-base-dev-4.13.0.0-c9705, libghc-mtl-dev-2.2.2-13482, libc6 (>= 2.2.5), libgmp10
Suggests: libghc-logict-doc, libghc-logict-prof
Filename: pool/universe/h/haskell-logict/libghc-logict-dev_0.7.0.2-1build1_amd64.deb
Size: 64708
MD5sum: a0593bafb342df2abea33d6c5774c4c8
SHA1: 9317b57d41092f39a189d875208ece6bea74cb76
SHA256: 88170a5f8183eaa89b917cfdfb99cad8cba377429566dcf66aed24db8471aa11
SHA512: 0099dca4608e59201a488a51620bf7cf36e457e6123042ff81182310bd9c26c77603bb140c27e5c9f53ed7e1d193ca0de2f4c90f7aef0492ff452fabed557d94
Homepage: https://github.com/Bodigrim/logict#readme
Description-en: Backtracking logic-programming monad
It is a continuation-based, backtracking, logic programming monad. An
adaptation of the two-continuation implementation found in the paper
Backtracking, Interleaving, and Terminating Monad Transformers available
here: http://okmij.org/ftp/papers/LogicT.pdf
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Description-md5: 3e8c59966c4a0ddf5a2bf2d13c1a8166
Ghc-Package: logict-0.7.0.2-5dltqlQSy9jLcgoffUq845