pyrox.dev
lol
1{ build-idris-package
2, fetchFromGitHub
3, lib
4}:
5build-idris-package {
6 pname = "bifunctors";
7 version = "2017-02-07";
8
9 src = fetchFromGitHub {
10 owner = "japesinator";
11 repo = "Idris-Bifunctors";
12 rev = "be7b8bde88331ad3af87e5c0a23fc0f3d52f3868";
13 sha256 = "0cfp58lhm2g0g1vrpb0mh71qb44n2yvg5sil9ndyf2sqd5ria6yq";
14 };
15
16 meta = {
17 description = "A small bifunctor library for idris";
18 homepage = "https://github.com/japesinator/Idris-Bifunctors";
19 maintainers = [ lib.maintainers.brainrape ];
20 };
21}