tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 lib,
5}:
6build-idris-package {
7 pname = "vdom";
8 version = "0.6.0";
9
10 ipkgName = "idris-vdom";
11
12 src = fetchFromGitHub {
13 owner = "brandondyck";
14 repo = "idris-vdom";
15 rev = "ff32c14feeac937f7418830a9a3463cd9582be8a";
16 sha256 = "0aila1qdpmhrp556dzaxk7yn7vgkwcnbp9jhw8f8pl51xs3s2kvf";
17 };
18
19 meta = {
20 description = "Virtual DOM in pure Idris";
21 homepage = "https://github.com/brandondyck/idris-vdom";
22 license = lib.licenses.mit;
23 maintainers = [ lib.maintainers.brainrape ];
24 };
25}