3
0
Fork 0
forked from mirrors/nixpkgs

Add haskell/logict

This commit is contained in:
Dmitry Malikov 2012-07-16 21:59:10 +02:00
parent 0a5a20d365
commit d972bae84f
2 changed files with 16 additions and 0 deletions

View file

@ -0,0 +1,14 @@
{ cabal, mtl }:
cabal.mkDerivation (self: {
pname = "logict";
version = "0.5.0.1";
sha256 = "0k3acw6fwhqz4qaz7k85fx5b43hwc926il0mljc69gjrgw0c8nzv";
buildDepends = [ mtl ];
meta = {
homepage = "http://code.haskell.org/~dolio/logict";
description = "A backtracking logic-programming monad";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
};
})

View file

@ -987,6 +987,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
logfloat = callPackage ../development/libraries/haskell/logfloat {};
logict = callPackage ../development/libraries/haskell/logict {};
mathFunctions = callPackage ../development/libraries/haskell/math-functions {};
mainlandPretty = callPackage ../development/libraries/haskell/mainland-pretty {};