pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 contrib,
5 jheiling-extras,
6 jheiling-js,
7 lib,
8}:
9build-idris-package {
10 pname = "electron";
11 version = "2016-03-07";
12
13 idrisDeps = [
14 contrib
15 jheiling-extras
16 jheiling-js
17 ];
18
19 src = fetchFromGitHub {
20 owner = "jheiling";
21 repo = "idris-electron";
22 rev = "f0e86f52b8e5a546a2bf714709b659c1c0b04395";
23 sha256 = "1rpa7yjvfpzl06h0qbk54jd2n52nmgpf7nq5aamcinqh7h5gbiwn";
24 };
25
26 meta = {
27 description = "Electron bindings for Idris";
28 homepage = "https://github.com/jheiling/idris-electron";
29 license = lib.licenses.unlicense;
30 maintainers = [ lib.maintainers.brainrape ];
31 };
32}