tjh.dev
1{ build-idris-package
2, fetchFromGitHub
3, contrib
4, pruviloj
5, lib
6}:
7build-idris-package {
8 pname = "js";
9 version = "2018-11-27";
10
11 idrisDeps = [ contrib pruviloj ];
12
13 src = fetchFromGitHub {
14 owner = "rbarreiro";
15 repo = "idrisjs";
16 rev = "1ce91ecec69a7174c20bff927aeac3928a01ed3f";
17 sha256 = "13whhccb7yjq10hnngdc8bc9z9vvyir1wjkclpz006cr4cd266ca";
18 };
19
20 meta = {
21 description = "Js libraries for idris";
22 homepage = "https://github.com/rbarreiro/idrisjs";
23 license = lib.licenses.mit;
24 maintainers = [ lib.maintainers.brainrape ];
25 };
26}