tjh.dev
1{
2 lib,
3 buildDunePackage,
4 fetchurl,
5 ptime,
6 version ? "5.0.0",
7}:
8
9buildDunePackage {
10 inherit version;
11
12 pname = "mirage-ptime";
13
14 src = fetchurl {
15 url = "https://github.com/mirage/mirage-ptime/releases/download/v${version}/mirage-ptime-${version}.tbz";
16 hash = "sha256-1VNWBGjVuU2yWwVzjCSZ8pDuZrFKwitDAuZn8fpENHE=";
17 };
18
19 propagatedBuildInputs = [ ptime ];
20
21 meta = {
22 description = "POSIX clock for MirageOS";
23 license = lib.licenses.isc;
24 maintainers = [ lib.maintainers.vbgl ];
25 changelog = "https://raw.githubusercontent.com/mirage/mirage-ptime/refs/tags/v${version}/CHANGES.md";
26 homepage = "https://github.com/mirage/mirage-ptime";
27 };
28}