Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at netboot-syslinux-multiplatform 34 lines 520 B view raw
1{ buildDunePackage 2, irmin, irmin-fs, ppx_irmin, lwt, mtime 3, alcotest, alcotest-lwt, cacert 4}: 5 6buildDunePackage { 7 pname = "irmin-containers"; 8 9 inherit (ppx_irmin) src version strictDeps; 10 duneVersion = "3"; 11 12 nativeBuildInputs = [ 13 ppx_irmin 14 ]; 15 16 propagatedBuildInputs = [ 17 irmin 18 irmin-fs 19 ppx_irmin 20 lwt 21 mtime 22 ]; 23 24 doCheck = true; 25 checkInputs = [ 26 alcotest 27 alcotest-lwt 28 cacert 29 ]; 30 31 meta = ppx_irmin.meta // { 32 description = "Mergeable Irmin data structures"; 33 }; 34}