tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 effects,
5 lib,
6}:
7build-idris-package {
8 pname = "lightyear";
9 version = "2017-09-10";
10
11 idrisDeps = [ effects ];
12
13 src = fetchFromGitHub {
14 owner = "ziman";
15 repo = "lightyear";
16 rev = "f737e25a09c1fe7c5fff063c53bd7458be232cc8";
17 sha256 = "05x66abhpbdm6yr0afbwfk6w04ysdk78gylj5alhgwhy4jqakv29";
18 };
19
20 meta = {
21 description = "Parser combinators for Idris";
22 homepage = "https://github.com/ziman/lightyear";
23 license = lib.licenses.bsd2;
24 maintainers = with lib.maintainers; [
25 siddharthist
26 brainrape
27 ];
28 };
29}