tjh.dev
1{ build-idris-package
2, fetchFromGitHub
3, idrisscript
4, hrtime
5, webgl
6, lib
7}:
8build-idris-package {
9 pname = "html";
10 version = "2017-04-23";
11
12 idrisDeps = [ idrisscript hrtime webgl ];
13
14 src = fetchFromGitHub {
15 owner = "pierrebeaucamp";
16 repo = "idris-html";
17 rev = "f59ecc560d7008ba26dda83f11319bb24ed6c508";
18 sha256 = "0r2clvkyld3y3r6smkfb7s47qnndikwds3bx9hphidbn41wjnh0i";
19 };
20
21 postUnpack = ''
22 sed -i "s/hrTime/hrtime/g" source/html.ipkg
23 '';
24
25 meta = {
26 description = "Idris library to interact with HTML";
27 homepage = "https://github.com/pierrebeaucamp/idris-html";
28 license = lib.licenses.asl20;
29 maintainers = [ lib.maintainers.brainrape ];
30 };
31}