tjh.dev
1{ build-idris-package
2, fetchFromGitHub
3, contrib
4, lib
5}:
6build-idris-package {
7 name = "data";
8 version = "2018-03-19";
9
10 idrisDeps = [ contrib ];
11
12 src = fetchFromGitHub {
13 owner = "jdevuyst";
14 repo = "idris-data";
15 rev = "105b78ac13235edc596287367a675d7cd04ce5d5";
16 sha256 = "17wz4jddan39984qibx2x7nv2zkqznv0fpab20nrm4zgy17v77ii";
17 };
18
19 meta = {
20 description = "Functional data structures in Idris";
21 homepage = https://github.com/jdevuyst/idris-data;
22 license = lib.licenses.bsd3;
23 maintainers = [ lib.maintainers.brainrape ];
24 };
25}