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