tjh.dev
1{
2 lib,
3 buildDunePackage,
4 fetchurl,
5 lwt,
6}:
7
8buildDunePackage rec {
9 minimalOCamlVersion = "4.08";
10
11 pname = "mirage-time";
12 version = "3.0.0";
13
14 duneVersion = "3";
15
16 src = fetchurl {
17 url = "https://github.com/mirage/mirage-time/releases/download/v${version}/mirage-time-v${version}.tbz";
18 hash = "sha256-DUCUm1jix+i3YszIzgZjRQRiM8jJXQ49F6JC/yicvXw=";
19 };
20
21 propagatedBuildInputs = [ lwt ];
22
23 meta = with lib; {
24 homepage = "https://github.com/mirage/mirage-time";
25 description = "Time operations for MirageOS";
26 license = licenses.isc;
27 maintainers = with maintainers; [ sternenseemann ];
28 };
29}