openbsd-ports/devel/hs-logict/distinfo

MD5 (ghc/logict-0.5.0.tar.gz) = jmGXuG9/U1MfUkcrjfw9vA==
RMD160 (ghc/logict-0.5.0.tar.gz) = 30Hwpo2UFLViZwIv6ULd/Rv6k4w=
SHA1 (ghc/logict-0.5.0.tar.gz) = PY9hYq69aN/P2mO9jrDqZrpesWw=
SHA256 (ghc/logict-0.5.0.tar.gz) = uUBXjbTMuwwhvYTmUfKV0P6sedpdNEH793Uca5tChyk=
SIZE (ghc/logict-0.5.0.tar.gz) = 5276
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. ok ajacoutot@ 2012-01-23 21:07:22 +00:00			`MD5 (ghc/logict-0.5.0.tar.gz) = jmGXuG9/U1MfUkcrjfw9vA==`
			`RMD160 (ghc/logict-0.5.0.tar.gz) = 30Hwpo2UFLViZwIv6ULd/Rv6k4w=`
			`SHA1 (ghc/logict-0.5.0.tar.gz) = PY9hYq69aN/P2mO9jrDqZrpesWw=`
			`SHA256 (ghc/logict-0.5.0.tar.gz) = uUBXjbTMuwwhvYTmUfKV0P6sedpdNEH793Uca5tChyk=`
			`SIZE (ghc/logict-0.5.0.tar.gz) = 5276`