lambda-term: update from 1.6 to 1.8
This commit is contained in:
@@ -1,17 +1,19 @@
|
||||
{ stdenv, fetchurl, libev, ocaml, findlib, ocaml_lwt, ocaml_react, zed, camlp4 }:
|
||||
|
||||
assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.01";
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
version = "1.6";
|
||||
version = "1.8";
|
||||
name = "lambda-term-${version}";
|
||||
|
||||
src = fetchurl {
|
||||
url = https://github.com/diml/lambda-term/archive/1.6.tar.gz;
|
||||
sha256 = "1rhfixdgpylxznf6sa9wr31wb4pjzpfn5mxhxqpbchmpl2afwa09";
|
||||
url = https://github.com/diml/lambda-term/archive/1.8.tar.gz;
|
||||
sha256 = "0hy11x48q5bbh9czjp0w756cyxzr2c6qcnfm5n9f0i1l4qljwpgc";
|
||||
};
|
||||
|
||||
buildInputs = [ libev ocaml findlib ocaml_lwt ocaml_react ];
|
||||
buildInputs = [ libev ocaml findlib ocaml_react ];
|
||||
|
||||
propagatedBuildInputs = [ camlp4 zed ];
|
||||
propagatedBuildInputs = [ camlp4 zed ocaml_lwt ];
|
||||
|
||||
createFindlibDestdir = true;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user