diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-07-31 21:30:16 +0000 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-07-31 23:30:16 +0200 |
| commit | f594caa05224b3e7e1aa0cd0f677f125261722f5 (patch) | |
| tree | 45c29bf5a45ee2585a6a83611ef9e50f1fd062b1 /pkgs/development/ocaml-modules | |
| parent | 63b584395f8e58cbf3e32f39a639454dd24bf50a (diff) | |
| download | nixpkgs-f594caa05224b3e7e1aa0cd0f677f125261722f5.tar nixpkgs-f594caa05224b3e7e1aa0cd0f677f125261722f5.tar.gz nixpkgs-f594caa05224b3e7e1aa0cd0f677f125261722f5.tar.bz2 nixpkgs-f594caa05224b3e7e1aa0cd0f677f125261722f5.tar.lz nixpkgs-f594caa05224b3e7e1aa0cd0f677f125261722f5.tar.xz nixpkgs-f594caa05224b3e7e1aa0cd0f677f125261722f5.tar.zst nixpkgs-f594caa05224b3e7e1aa0cd0f677f125261722f5.zip | |
ocamlPackages.lambdaTerm: 1.12.0 -> 1.13 (#44271)
Diffstat (limited to 'pkgs/development/ocaml-modules')
| -rw-r--r-- | pkgs/development/ocaml-modules/lambda-term/default.nix | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/pkgs/development/ocaml-modules/lambda-term/default.nix b/pkgs/development/ocaml-modules/lambda-term/default.nix index c1e268f686b..62b1f7b1a8e 100644 --- a/pkgs/development/ocaml-modules/lambda-term/default.nix +++ b/pkgs/development/ocaml-modules/lambda-term/default.nix @@ -1,19 +1,21 @@ -{ stdenv, fetchurl, libev, ocaml, findlib, jbuilder, zed, lwt_react }: +{ stdenv, fetchurl, libev, ocaml, findlib, jbuilder +, zed, lwt_log, lwt_react +}: assert stdenv.lib.versionAtLeast ocaml.version "4.02"; stdenv.mkDerivation rec { - version = "1.12.0"; + version = "1.13"; name = "ocaml${ocaml.version}-lambda-term-${version}"; src = fetchurl { url = "https://github.com/diml/lambda-term/archive/${version}.tar.gz"; - sha256 = "129m5jb015rqm6k3k25m1i2217vhz26n8sa7z113vjv4gs0bcd3d"; + sha256 = "1hy5ryagqclgdm9lzh1qil5mrynlypv7mn6qm858hdcnmz9zzn0l"; }; buildInputs = [ libev ocaml findlib jbuilder ]; - propagatedBuildInputs = [ zed lwt_react ]; + propagatedBuildInputs = [ zed lwt_log lwt_react ]; buildPhase = "jbuilder build -p lambda-term"; |