depot/third_party/nixpkgs/pkgs/development/ocaml-modules/mirage-clock/solo5.nix

{ buildDunePackage
, mirage-clock
}:

buildDunePackage {
  pname = "mirage-clock-solo5";

  inherit (mirage-clock)
    version
    src
    ;

  propagatedBuildInputs = [
    mirage-clock
  ];

  meta = mirage-clock.meta // {
    description = "Paravirtual implementation of the MirageOS Clock interface";
  };
}