tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ lib, buildDunePackage, fetchFromGitHub, lwt_ppx, ppx_cstruct, optint
2, checkseum, diet, bitv, nocrypto, logs, lru, io-page, mirage-block }:
3
4buildDunePackage rec {
5 pname = "wodan";
6 version = "unstable-2020-11-20";
7
8 useDune2 = true;
9
10 src = fetchFromGitHub {
11 owner = "mirage";
12 repo = pname;
13 rev = "cc08fe25888051c207f1009bcd2d39f8c514484f";
14 sha256 = "0186vlhnl8wcz2hmpn327n9a0bibnypmjy3w4nxq3yyglh6vj1im";
15 fetchSubmodules = true;
16 };
17
18 minimumOCamlVersion = "4.08";
19
20 propagatedBuildInputs = [
21 lwt_ppx
22 ppx_cstruct
23 optint
24 checkseum
25 diet
26 bitv
27 nocrypto
28 logs
29 lru
30 io-page
31 mirage-block
32 ];
33
34 meta = with lib; {
35 inherit (src.meta) homepage;
36 description = "A flash-friendly, safe and flexible filesystem library";
37 license = licenses.isc;
38 maintainers = with maintainers; [ ehmry ];
39 };
40}