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