diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-01-28 11:09:23 +0100 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-01-28 12:03:25 +0100 |
commit | a931de00b362477df1770b75f49e3ee8df4398fc (patch) | |
tree | 836dd1e20b374d98179008261b21713536c031e8 /pkgs/top-level/all-packages.nix | |
parent | 66e2f504168e166b3408264021f617e85f4d31dd (diff) | |
download | nixpkgs-a931de00b362477df1770b75f49e3ee8df4398fc.tar nixpkgs-a931de00b362477df1770b75f49e3ee8df4398fc.tar.gz nixpkgs-a931de00b362477df1770b75f49e3ee8df4398fc.tar.bz2 nixpkgs-a931de00b362477df1770b75f49e3ee8df4398fc.tar.lz nixpkgs-a931de00b362477df1770b75f49e3ee8df4398fc.tar.xz nixpkgs-a931de00b362477df1770b75f49e3ee8df4398fc.tar.zst nixpkgs-a931de00b362477df1770b75f49e3ee8df4398fc.zip |
lambda-term: update from 1.6 to 1.8
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index fc477c61eb8..d768d3dea0f 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -3822,7 +3822,11 @@ let gtkmathview = callPackage ../development/libraries/gtkmathview { }; }; - lambdaTerm = callPackage ../development/ocaml-modules/lambda-term { }; + lambdaTerm-1_6 = callPackage ../development/ocaml-modules/lambda-term/1.6.nix { }; + lambdaTerm = + if lib.versionOlder "4.01" ocaml_version + then callPackage ../development/ocaml-modules/lambda-term { } + else lambdaTerm-1_6; macaque = callPackage ../development/ocaml-modules/macaque { }; |