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