2023-03-02 09:31:29 +00:00
|
|
|
{ buildDunePackage, mirage-crypto, mirage-crypto-rng, dune-configurator
|
2023-03-09 17:19:14 +00:00
|
|
|
, duration, logs, mtime, lwt }:
|
2023-03-02 09:31:29 +00:00
|
|
|
|
|
|
|
buildDunePackage rec {
|
|
|
|
pname = "mirage-crypto-rng-lwt";
|
|
|
|
|
|
|
|
inherit (mirage-crypto) version src;
|
|
|
|
|
2023-03-09 17:19:14 +00:00
|
|
|
duneVersion = "3";
|
|
|
|
|
2023-03-02 09:31:29 +00:00
|
|
|
doCheck = true;
|
|
|
|
|
|
|
|
buildInputs = [ dune-configurator ];
|
2023-03-09 17:19:14 +00:00
|
|
|
propagatedBuildInputs = [ mirage-crypto mirage-crypto-rng duration logs mtime lwt ];
|
2023-03-02 09:31:29 +00:00
|
|
|
|
|
|
|
meta = mirage-crypto-rng.meta;
|
|
|
|
}
|