tjh.dev
1{ build-idris-package
2, fetchFromGitHub
3, hezarfen
4, lib
5}:
6build-idris-package {
7 pname = "composition";
8 version = "2017-11-12";
9
10 idrisDeps = [ hezarfen ];
11
12 src = fetchFromGitHub {
13 owner = "vmchale";
14 repo = "composition";
15 rev = "8f05e8db750793a9992b315dc0a2c327b837ec8b";
16 sha256 = "05424xzxx6f3ig0ravib15nr34nqvaq8spcj6b1512raqrvkkay8";
17 };
18
19 meta = {
20 description = "Composition extras for Idris";
21 homepage = "https://github.com/vmchale/composition";
22 license = lib.licenses.bsd3;
23 maintainers = [ lib.maintainers.brainrape ];
24 };
25}