tjh.dev
1{
2 buildDunePackage,
3 crowbar,
4 eio,
5 eio_main,
6 logs,
7 mdx,
8 mirage-crypto-rng,
9 ptime,
10 tls,
11}:
12
13buildDunePackage {
14 pname = "tls-eio";
15
16 inherit (tls) src meta version;
17
18 minimalOCamlVersion = "5.0";
19
20 doCheck = true;
21 nativeCheckInputs = [
22 mdx.bin
23 ];
24 checkInputs = [
25 crowbar
26 eio_main
27 (mdx.override { inherit logs; })
28 ];
29
30 propagatedBuildInputs = [
31 ptime
32 eio
33 mirage-crypto-rng
34 tls
35 ];
36}