mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-16 06:45:16 +01:00
ocamlPackages.lambdaTerm: 1.12.0 -> 1.13 (#44271)
This commit is contained in:
parent
63b584395f
commit
f594caa052
1 changed files with 6 additions and 4 deletions
|
@ -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";
|
||||
|
||||
|
|
Loading…
Reference in a new issue