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