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