2023-03-15 16:39:30 +00:00
|
|
|
{ lib, buildDunePackage, fetchurl, lwt }:
|
2020-05-03 17:38:23 +00:00
|
|
|
|
|
|
|
buildDunePackage rec {
|
2023-03-15 16:39:30 +00:00
|
|
|
minimalOCamlVersion = "4.08";
|
2020-05-03 17:38:23 +00:00
|
|
|
|
|
|
|
pname = "mirage-time";
|
2022-03-30 09:31:56 +00:00
|
|
|
version = "3.0.0";
|
2020-05-03 17:38:23 +00:00
|
|
|
|
2023-03-15 16:39:30 +00:00
|
|
|
duneVersion = "3";
|
2020-12-09 12:39:15 +00:00
|
|
|
|
2020-05-03 17:38:23 +00:00
|
|
|
src = fetchurl {
|
|
|
|
url = "https://github.com/mirage/mirage-time/releases/download/v${version}/mirage-time-v${version}.tbz";
|
2023-03-15 16:39:30 +00:00
|
|
|
hash = "sha256-DUCUm1jix+i3YszIzgZjRQRiM8jJXQ49F6JC/yicvXw=";
|
2020-05-03 17:38:23 +00:00
|
|
|
};
|
|
|
|
|
2023-03-15 16:39:30 +00:00
|
|
|
propagatedBuildInputs = [ lwt ];
|
2020-05-03 17:38:23 +00:00
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
homepage = "https://github.com/mirage/mirage-time";
|
|
|
|
description = "Time operations for MirageOS";
|
|
|
|
license = licenses.isc;
|
|
|
|
maintainers = with maintainers; [ sternenseemann ];
|
|
|
|
};
|
|
|
|
}
|