1{
2 build-idris-package,
3 fetchFromGitHub,
4 idrisscript,
5 lib,
6}:
7build-idris-package {
8 pname = "hrtime";
9 version = "2017-04-16";
10
11 ipkgName = "hrTime";
12 idrisDeps = [ idrisscript ];
13
14 src = fetchFromGitHub {
15 owner = "pierrebeaucamp";
16 repo = "idris-hrtime";
17 rev = "e1f54ce74bde871010ae76d9afd42048cd2aae83";
18 sha256 = "0rmmpi1kp1h7ficmcxbxkny9lq9pjli2qhwy17vgbgx8fx60m8l0";
19 };
20
21 meta = {
22 description = "Idris library for high resolution time";
23 homepage = "https://github.com/pierrebeaucamp/idris-hrtime";
24 license = lib.licenses.asl20;
25 maintainers = [ lib.maintainers.brainrape ];
26 };
27}