tjh.dev
1{ build-idris-package
2, fetchFromGitHub
3, idrisscript
4, hrtime
5, webgl
6, lib
7}:
8build-idris-package {
9 pname = "console";
10 version = "2017-04-20";
11
12 idrisDeps = [ idrisscript hrtime webgl ];
13
14 src = fetchFromGitHub {
15 owner = "pierrebeaucamp";
16 repo = "idris-console";
17 rev = "14b6bd6bf6bd78dd3935e3de12e16f8ee41e29e4";
18 sha256 = "0cn4fwnf3sg6269pbfbhnmsvyaya4d8479n2hy039idxzzkxw0yb";
19 };
20
21 meta = {
22 description = "An Idris library to interact with the browser console";
23 homepage = "https://github.com/pierrebeaucamp/idris-console";
24 license = lib.licenses.asl20;
25 maintainers = [ lib.maintainers.brainrape ];
26 };
27}