(library
  (name        dns_client_mirage)
  (public_name dns-client-mirage)
  (libraries   domain-name ipaddr mirage-crypto-rng mirage-sleep tcpip mirage-ptime mirage-mtime dns-client happy-eyeballs happy-eyeballs-mirage tls-mirage ca-certs-nss)
  (wrapped     false))
