diff options
Diffstat (limited to 'pkgs/development/tools/haskell/liquid-fixpoint/default.nix')
-rw-r--r-- | pkgs/development/tools/haskell/liquid-fixpoint/default.nix | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/development/tools/haskell/liquid-fixpoint/default.nix b/pkgs/development/tools/haskell/liquid-fixpoint/default.nix new file mode 100644 index 000000000000..60a653ef36b5 --- /dev/null +++ b/pkgs/development/tools/haskell/liquid-fixpoint/default.nix @@ -0,0 +1,26 @@ +# This file was auto-generated by cabal2nix. Please do NOT edit manually! + +{ cabal, ansiTerminal, attoparsec, bifunctors, cmdargs, deepseq +, filemanip, filepath, hashable, intern, mtl, ocaml, parsec, syb +, text, textFormat, transformers, unorderedContainers +}: + +cabal.mkDerivation (self: { + pname = "liquid-fixpoint"; + version = "0.2.1.0"; + sha256 = "11l9750ldxcb5jq34dl0iggpi9dh1zwjnlzgmwg4qvsgcq8cakdf"; + isLibrary = true; + isExecutable = true; + buildDepends = [ + ansiTerminal attoparsec bifunctors cmdargs deepseq filemanip + filepath hashable intern mtl parsec syb text textFormat + transformers unorderedContainers + ]; + buildTools = [ ocaml ]; + meta = { + homepage = "https://github.com/ucsd-progsys/liquid-fixpoint"; + description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver"; + license = self.stdenv.lib.licenses.bsd3; + platforms = self.ghc.meta.platforms; + }; +}) |