Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ buildDunePackage, dns, dns-tsig, dns-mirage, randomconv, x509
2, mirage-random, mirage-time, mirage-clock
3, logs, mirage-crypto-pk, mirage-crypto-rng, mirage-crypto-ec, lwt
4, tcpip
5}:
6
7buildDunePackage {
8 pname = "dns-certify";
9
10 inherit (dns) version src;
11 duneVersion = "3";
12
13 propagatedBuildInputs = [
14 dns
15 dns-tsig
16 dns-mirage
17 randomconv
18 x509
19 mirage-random
20 mirage-time
21 mirage-clock
22 logs
23 mirage-crypto-pk
24 mirage-crypto-rng
25 mirage-crypto-ec
26 lwt
27 tcpip
28 ];
29
30 doCheck = true;
31
32 meta = dns.meta // {
33 description = "MirageOS let's encrypt certificate retrieval";
34 };
35}