pkgs/development/ocaml-modules/mirage-clock/solo5.nix

   1 {
   2   buildDunePackage,
   3   mirage-clock,
   4 }:
   5
   6 buildDunePackage {
   7   pname = "mirage-clock-solo5";
   8
   9   inherit (mirage-clock)
  10     version
  11     src
  12     ;
  13
  14   propagatedBuildInputs = [
  15     mirage-clock
  16   ];
  17
  18   meta = mirage-clock.meta // {
  19     description = "Paravirtual implementation of the MirageOS Clock interface";
  20   };
  21 }