tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 buildDunePackage,
3 mirage-time,
4 lwt,
5 duration,
6}:
7
8buildDunePackage {
9 pname = "mirage-time-unix";
10
11 inherit (mirage-time) src version;
12 duneVersion = "3";
13
14 propagatedBuildInputs = [
15 mirage-time
16 lwt
17 duration
18 ];
19
20 meta = mirage-time.meta // {
21 description = "Time operations for MirageOS on Unix";
22 };
23}