How to Install and Uninstall libghc-logict-dev Package on Kali Linux
Last updated: November 25,2024
1. Install "libghc-logict-dev" package
Please follow the step by step instructions below to install libghc-logict-dev on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
libghc-logict-dev
Copied
2. Uninstall "libghc-logict-dev" package
This is a short guide on how to uninstall libghc-logict-dev on Kali Linux:
$
sudo apt remove
libghc-logict-dev
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libghc-logict-dev package on Kali Linux
Package: libghc-logict-dev
Source: haskell-logict (0.8.0.0-1)
Version: 0.8.0.0-1+b1
Installed-Size: 849
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-logict-dev-0.8.0.0-2b688
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-mtl-dev-2.2.2-6f39a, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Size: 95804
SHA256: a3f82237c050056ebb4e9daca054b230a7413dc1127fdff52f7e1615dad8e959
SHA1: 14f02e8bbe2ed7a6f2c3b0ac717434bed4075265
MD5sum: 4e7740258aaca49d61f774fd3c83aa65
Description: 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:
Homepage: https://github.com/Bodigrim/logict#readme
Ghc-Package: logict-0.8.0.0-Hfynx2RmKXeCEAhwqNEyVM
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-logict/libghc-logict-dev_0.8.0.0-1+b1_amd64.deb
Source: haskell-logict (0.8.0.0-1)
Version: 0.8.0.0-1+b1
Installed-Size: 849
Maintainer: Debian Haskell Group
Architecture: amd64
Provides: libghc-logict-dev-0.8.0.0-2b688
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-mtl-dev-2.2.2-6f39a, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Size: 95804
SHA256: a3f82237c050056ebb4e9daca054b230a7413dc1127fdff52f7e1615dad8e959
SHA1: 14f02e8bbe2ed7a6f2c3b0ac717434bed4075265
MD5sum: 4e7740258aaca49d61f774fd3c83aa65
Description: 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:
Homepage: https://github.com/Bodigrim/logict#readme
Ghc-Package: logict-0.8.0.0-Hfynx2RmKXeCEAhwqNEyVM
Section: haskell
Priority: optional
Filename: pool/main/h/haskell-logict/libghc-logict-dev_0.8.0.0-1+b1_amd64.deb