tjh.dev
1{
2 buildDunePackage,
3 dns,
4 dns-client,
5 lwt,
6 mirage-sleep,
7 mirage-mtime,
8 mirage-ptime,
9 mirage-crypto-rng,
10 domain-name,
11 ipaddr,
12 ca-certs-nss,
13 happy-eyeballs,
14 happy-eyeballs-mirage,
15 tcpip,
16 tls-mirage,
17}:
18
19buildDunePackage {
20 pname = "dns-client-mirage";
21 inherit (dns) src version;
22
23 propagatedBuildInputs = [
24 dns-client
25 domain-name
26 ipaddr
27 lwt
28 mirage-crypto-rng
29 mirage-sleep
30 mirage-mtime
31 mirage-ptime
32 ca-certs-nss
33 happy-eyeballs
34 happy-eyeballs-mirage
35 tcpip
36 tls-mirage
37 ];
38 doCheck = true;
39
40 meta = dns-client.meta;
41}