tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 contrib,
5 lib,
6}:
7build-idris-package {
8 pname = "tap";
9 version = "2017-04-08";
10
11 ipkgName = "TAP";
12 idrisDeps = [ contrib ];
13
14 src = fetchFromGitHub {
15 owner = "ostera";
16 repo = "tap-idris";
17 rev = "0d019333e1883c1d60e151af1acb02e2b531e72f";
18 sha256 = "0fhlmmivq9xv89r7plrnhmvay1j7bapz3wh7y8lygwvcrllh9zxs";
19 };
20
21 meta = {
22 description = "Simple TAP producer and consumer/reporter for Idris";
23 homepage = "https://github.com/ostera/tap-idris";
24 license = lib.licenses.bsd3;
25 maintainers = [ lib.maintainers.brainrape ];
26 };
27}