diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-08-21 05:10:10 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-08-28 06:36:57 +0000 |
| commit | a86fe43558f226b4c748b71c037e82034bff771c (patch) | |
| tree | fa61c0828e52195b49d7afd02282440f6a542e44 /pkgs/top-level/ocaml-packages.nix | |
| parent | aa31307e1425c6a3bb81a8fedbf6c249dda20e48 (diff) | |
ocamlPackages.lambdaTerm: remove at 1.6
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
| -rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 16dd32a8a7a6..7eabfccf85f0 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -382,11 +382,7 @@ let lambdasoup = callPackage ../development/ocaml-modules/lambdasoup { }; - lambdaTerm-1_6 = callPackage ../development/ocaml-modules/lambda-term/1.6.nix { lwt = lwt2; }; - lambdaTerm = - if lib.versionOlder "4.02" ocaml.version - then callPackage ../development/ocaml-modules/lambda-term { } - else lambdaTerm-1_6; + lambdaTerm = callPackage ../development/ocaml-modules/lambda-term { }; linenoise = callPackage ../development/ocaml-modules/linenoise { }; |