Ubuntu
haskell-logict package

haskell-logict 0.5.0-1build1 source package in Ubuntu

Changelog

haskell-logict (0.5.0-1build1) precise; urgency=low

  * Rebuild for new GHC ABIs.
 -- Colin Watson <email address hidden>   Thu, 03 Nov 2011 08:48:53 -0400

Upload details

Uploaded by:
Colin Watson
Uploaded to:
Precise
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
haskell
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
haskell-logict_0.5.0.orig.tar.gz 5.2 KiB b940578db4ccbb0c21bd84e651f295d0feac79da5d3441fbf7751c6b9b428729
haskell-logict_0.5.0-1build1.debian.tar.gz 2.2 KiB 566e040397f36828faa7d9582e3c826b106163c119e7e07b7bea22d4c90d109f
haskell-logict_0.5.0-1build1.dsc 2.3 KiB c4d27b65122b38400f5b5327e6339349be7f74b3fc84aa1db8eb1dd9c7e27ad7

Available diffs

View changes file

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: Backtracking logic-programming monad; documentation

 This package provides the documentation for 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-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