tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 contrib,
5 effects,
6 lightyear,
7 lib,
8}:
9build-idris-package {
10 pname = "ipkgparser";
11 version = "2017-11-14";
12
13 idrisDeps = [
14 contrib
15 effects
16 lightyear
17 ];
18
19 src = fetchFromGitHub {
20 owner = "emptyflash";
21 repo = "idris-ipkg-parser";
22 rev = "35cc2f54d4f3b3710f637d0a8c897bfbb32fe183";
23 sha256 = "0vn3pigqddfy7cld0386hxzdv2nkl8mdpsx97hvyvqzrdpz4wl2q";
24 };
25
26 meta = {
27 description = "Parser for Idris iPkg files written in Idris using Lightyear";
28 homepage = "https://github.com/emptyflash/idris-ipkg-parser";
29 maintainers = [ lib.maintainers.brainrape ];
30 };
31}