blob: 76383099a41d7717e6c2ea988a10688dc87248d9 (
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, cacert
}:
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 cacert
];
meta = ppx_irmin.meta // {
description = "Mergeable Irmin data structures";
};
}
|