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
28
29
30
31
32
33
34
35
36
37
38
|
{ lib, buildDunePackage
, git, irmin, irmin-test, ppx_irmin, git-cohttp-unix, git-unix
, digestif, cstruct, fmt, astring, fpath, logs, lwt, uri
, mtime, alcotest
}:
buildDunePackage {
pname = "irmin-git";
inherit (irmin) version src;
useDune2 = true;
propagatedBuildInputs = [
git
irmin
ppx_irmin
digestif
cstruct
fmt
astring
fpath
logs
lwt
uri
];
checkInputs = [ mtime alcotest git-cohttp-unix git-unix irmin-test ];
doCheck = true;
meta = irmin.meta // {
description = "Git backend for Irmin";
};
}
|