diff options
| author | John Wiegley <johnw@newartisans.com> | 2015-01-02 15:29:01 -0600 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2015-01-02 15:29:01 -0600 |
| commit | f742da0a31769f62dbb3eced3e56c9cb538631ad (patch) | |
| tree | e2fd9ab77706a508afc016ffc685170d09cee878 /pkgs/top-level/haskell-packages.nix | |
| parent | e0a5b75d9c4355c995304d2bf8ab01864b320d5a (diff) | |
| download | nixpkgs-f742da0a31769f62dbb3eced3e56c9cb538631ad.tar nixpkgs-f742da0a31769f62dbb3eced3e56c9cb538631ad.tar.gz nixpkgs-f742da0a31769f62dbb3eced3e56c9cb538631ad.tar.bz2 nixpkgs-f742da0a31769f62dbb3eced3e56c9cb538631ad.tar.lz nixpkgs-f742da0a31769f62dbb3eced3e56c9cb538631ad.tar.xz nixpkgs-f742da0a31769f62dbb3eced3e56c9cb538631ad.tar.zst nixpkgs-f742da0a31769f62dbb3eced3e56c9cb538631ad.zip | |
liquidhaskell: new expression
Diffstat (limited to 'pkgs/top-level/haskell-packages.nix')
| -rw-r--r-- | pkgs/top-level/haskell-packages.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index 4f0b3437347..5d926ccebe9 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -3217,6 +3217,10 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in lhs2tex = callPackage ../tools/typesetting/lhs2tex {}; + liquidFixpoint = callPackage ../development/tools/haskell/liquid-fixpoint { ocaml = pkgs.ocaml; }; + + liquidhaskell = callPackage ../development/tools/haskell/liquidhaskell {}; + packunused = callPackage ../development/tools/haskell/packunused {}; rehoo = callPackage ../development/tools/haskell/rehoo {}; |