Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at netboot-syslinux-multiplatform 35 lines 633 B view raw
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}