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