83405b6dd2
GitOrigin-RevId: ac718d02867a84b42522a0ece52d841188208f2c
14 lines
323 B
Nix
14 lines
323 B
Nix
{ buildDunePackage, fetchurl, mirage-time, lwt, duration }:
|
|
|
|
buildDunePackage {
|
|
pname = "mirage-time-unix";
|
|
|
|
inherit (mirage-time) src version;
|
|
duneVersion = "3";
|
|
|
|
propagatedBuildInputs = [ mirage-time lwt duration ];
|
|
|
|
meta = mirage-time.meta // {
|
|
description = "Time operations for MirageOS on Unix";
|
|
};
|
|
}
|