haskell-logict 0.8.0.0-1 source package in Ubuntu
Changelog
haskell-logict (0.8.0.0-1) unstable; urgency=medium * Declare compliance with Debian policy 4.6.1 * Declare compliance with Debian policy 4.6.2 * New upstream release -- Ilias Tsitsimpis <email address hidden> Mon, 28 Aug 2023 17:25:56 +0300
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Oracular | release | universe | haskell | |
Noble | release | universe | haskell |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-logict_0.8.0.0-1.dsc | 2.2 KiB | 846d3432e04cf82f2dddeb87a0faa3ce33294677586d6d2358e648832d87a778 |
haskell-logict_0.8.0.0.orig.tar.gz | 17.0 KiB | fe926df295bc43df794247360e7a0a0dfdc778bce986f8aadba98fe52228fb56 |
haskell-logict_0.8.0.0-1.debian.tar.xz | 3.1 KiB | dfd9e6efa0f7f93bc28894eefb7100e8ea762084083008b5e34c3d24de0fecb3 |
Available diffs
No changes file available.
Binary packages built by this source
- libghc-logict-dev: 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.
- libghc-logict-doc: Backtracking logic-programming monad; documentation
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 the documentation for a library for the Haskell
programming language.
See http://www.haskell. org/ for more information on Haskell.
- libghc-logict-prof: Backtracking logic-programming monad; profiling libraries
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, compiled
for profiling. See http://www.haskell. org/ for more information on Haskell.