{ buildDunePackage, crowbar, eio, eio_main, logs, mdx, mirage-crypto-rng, ptime, tls, }: buildDunePackage { pname = "tls-eio"; inherit (tls) src meta version; minimalOCamlVersion = "5.0"; doCheck = true; nativeCheckInputs = [ mdx.bin ]; checkInputs = [ crowbar eio_main (mdx.override { inherit logs; }) ]; propagatedBuildInputs = [ ptime eio mirage-crypto-rng tls ]; }