|
|
|
@ -164540,8 +164540,8 @@ self: { |
|
|
|
|
({ mkDerivation, ansi-terminal, array, ascii-progress, async |
|
|
|
|
, attoparsec, base, binary, boxes, cereal, cmdargs, containers |
|
|
|
|
, deepseq, directory, fgl, filepath, git, hashable, intern, mtl |
|
|
|
|
, nettools, ocaml, parallel, parsec, pretty, process, stm, syb |
|
|
|
|
, tasty, tasty-ant-xml, tasty-hunit, tasty-rerun, text, text-format |
|
|
|
|
, nettools, parallel, parsec, pretty, process, stm, syb, tasty |
|
|
|
|
, tasty-ant-xml, tasty-hunit, tasty-rerun, text, text-format |
|
|
|
|
, transformers, unordered-containers, z3 |
|
|
|
|
}: |
|
|
|
|
mkDerivation { |
|
|
|
@ -164558,7 +164558,6 @@ self: { |
|
|
|
|
text-format transformers unordered-containers |
|
|
|
|
]; |
|
|
|
|
executableHaskellDepends = [ base ]; |
|
|
|
|
executableSystemDepends = [ ocaml ]; |
|
|
|
|
testHaskellDepends = [ |
|
|
|
|
base containers directory filepath mtl process stm tasty |
|
|
|
|
tasty-ant-xml tasty-hunit tasty-rerun transformers |
|
|
|
@ -164568,7 +164567,7 @@ self: { |
|
|
|
|
description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver"; |
|
|
|
|
license = lib.licenses.bsd3; |
|
|
|
|
}) {inherit (pkgs) git; inherit (pkgs) nettools; |
|
|
|
|
inherit (pkgs) ocaml; inherit (pkgs) z3;}; |
|
|
|
|
inherit (pkgs) z3;}; |
|
|
|
|
|
|
|
|
|
"liquid-ghc-prim" = callPackage |
|
|
|
|
({ mkDerivation, base, Cabal, ghc-prim, liquidhaskell }: |
|
|
|
|