blob: 761e9bf5619eddfbb1abaad659d4a193bef364a6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
{ buildDunePackage
, irmin, irmin-unix, irmin-git, ppx_irmin, lwt, mtime
, alcotest, alcotest-lwt
}:
buildDunePackage {
pname = "irmin-containers";
inherit (ppx_irmin) src version useDune2;
nativeBuildInputs = [
ppx_irmin
];
propagatedBuildInputs = [
irmin irmin-unix irmin-git ppx_irmin lwt mtime
];
doCheck = true;
checkInputs = [
alcotest alcotest-lwt
];
meta = ppx_irmin.meta // {
description = "Mergeable Irmin data structures";
};
}
|