tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 buildDunePackage,
3 mirage-clock,
4 dune-configurator,
5}:
6
7buildDunePackage {
8 pname = "mirage-clock-unix";
9
10 inherit (mirage-clock) version src;
11
12 buildInputs = [ dune-configurator ];
13
14 propagatedBuildInputs = [ mirage-clock ];
15
16 meta = mirage-clock.meta // {
17 description = "Unix-based implementation for the MirageOS Clock interface";
18 };
19}