haskell-logict 0.5.0-2 source package in Ubuntu
Changelog
haskell-logict (0.5.0-2) unstable; urgency=low * Sourceful upload to rebuild documentation package. -- Clint Adams <email address hidden> Mon, 13 Feb 2012 22:57:54 -0500
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- haskell
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Precise | release | universe | haskell |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| haskell-logict_0.5.0-2.dsc | 2.2 KiB | d5dba04af2e8d757c147d24666f1750ff991d17813a7756b96b04fbe576b4896 |
| haskell-logict_0.5.0.orig.tar.gz | 5.2 KiB | b940578db4ccbb0c21bd84e651f295d0feac79da5d3441fbf7751c6b9b428729 |
| haskell-logict_0.5.0-2.debian.tar.gz | 2.2 KiB | 18a504eb91fc139558d67a132865897ae6a94c6d1a2e6aac1ae9d48068a16d7a |
Available diffs
- diff from 0.5.0-1build1 (in Ubuntu) to 0.5.0-2 (394 bytes)
No changes file available.
Binary packages built by this source
- libghc-logict-dev: Backtracking logic-programming monad
This package provides a library for the Haskell programming language.
See http://www.haskell. org/ for more information on Haskell.
.
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
- libghc-logict-doc: No summary available for libghc-logict-doc in ubuntu quantal.
No description available for libghc-logict-doc in ubuntu quantal.
- libghc-logict-prof: Backtracking logic-programming monad; 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.
.
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
