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