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