tjh.dev
1{
2 buildDunePackage,
3 dns,
4 dns-tsig,
5 dns-mirage,
6 randomconv,
7 x509,
8 mirage-sleep,
9 mirage-ptime,
10 logs,
11 mirage-crypto-pk,
12 mirage-crypto-rng,
13 mirage-crypto-ec,
14 lwt,
15 tcpip,
16}:
17
18buildDunePackage {
19 pname = "dns-certify";
20
21 inherit (dns) version src;
22
23 propagatedBuildInputs = [
24 dns
25 dns-tsig
26 dns-mirage
27 randomconv
28 x509
29 mirage-sleep
30 mirage-ptime
31 logs
32 mirage-crypto-pk
33 mirage-crypto-rng
34 mirage-crypto-ec
35 lwt
36 tcpip
37 ];
38
39 doCheck = true;
40
41 meta = dns.meta // {
42 description = "MirageOS let's encrypt certificate retrieval";
43 };
44}