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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

{ lib
, 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";
  };
}