public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.lambdaTerm: 2.0.3 → 3.1.0 

ocamlPackages.utop: 2.4.3 → 2.6.0
This commit is contained in:
Vincent Laporte 2020-12-29 16:13:17 +01:00 committed by Vincent Laporte
parent 321c46c6e8
commit 6b0396351e
2 changed files with 18 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/development/ocaml-modules/lambda-term/default.nix
View File

@ -1,16 +1,19 @@
{ stdenv, fetchurl, libev, buildDunePackage, zed, lwt_log, lwt_react }:
{ lib, fetchFromGitHub, buildDunePackage, zed, lwt_log, lwt_react, mew_vi }:
buildDunePackage rec {
pname = "lambda-term";
version = "2.0.3";
version = "3.1.0";
src = fetchurl {
url = "https://github.com/ocaml-community/lambda-term/releases/download/${version}/lambda-term-${version}.tbz";
sha256 = "1n1b3ffj41a1lm2315hh870yj9h8gg8g9jcxha6dr3xx8r84np3v";
useDune2 = true;
src = fetchFromGitHub {
owner = "ocaml-community";
repo = pname;
rev = version;
sha256 = "1k0ykiz0vhpyyj9fkss29ajas4fh1xh449j702xkvayqipzj1mkg";
};
buildInputs = [ libev ];
propagatedBuildInputs = [ zed lwt_log lwt_react ];
propagatedBuildInputs = [ zed lwt_log lwt_react mew_vi ];
meta = { description = "Terminal manipulation library for OCaml";
longDescription = ''
@ -28,10 +31,10 @@ buildDunePackage rec {
console applications.
'';
homepage = "https://github.com/diml/lambda-term";
license = stdenv.lib.licenses.bsd3;
inherit (src.meta) homepage;
license = lib.licenses.bsd3;
maintainers = [
stdenv.lib.maintainers.gal_bolle
lib.maintainers.gal_bolle
];
};
}

8
pkgs/development/tools/ocaml/utop/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, fetchurl, ocaml, findlib, dune
{ stdenv, fetchurl, ocaml, findlib
, lambdaTerm, cppo, makeWrapper, buildDunePackage
}:
@ -8,11 +8,13 @@ else
buildDunePackage rec {
pname = "utop";
version = "2.4.3";
version = "2.6.0";
useDune2 = true;
src = fetchurl {
url = "https://github.com/ocaml-community/utop/releases/download/${version}/utop-${version}.tbz";
sha256 = "107al0l3x4a5kkjka7glmhsqlm7pwzzc6shspiv5gsjb49pblc2f";
sha256 = "17n9igl74xcvj0mzdh2ybda29f2m48a5lj4yf8lrdqr7vg0982jd";
};
nativeBuildInputs = [ makeWrapper ];