tjh.dev
1{ build-idris-package
2, fetchFromGitHub
3, effects
4, lib
5}:
6build-idris-package {
7 pname = "test";
8 version = "2017-03-30";
9
10 idrisDeps = [ effects ];
11
12 src = fetchFromGitHub {
13 owner = "jfdm";
14 repo = "idris-testing";
15 rev = "604d56f77054931b21975198be669e22427b1f52";
16 sha256 = "1pmyhs3jx6wd0pzjd3igfxb9zjs8pqmk4ah352bxjrqdnhqwrl51";
17 };
18
19 doCheck = false;
20
21 meta = {
22 description = "Testing Utilities for Idris programs";
23 homepage = "https://github.com/jfdm/idris-testing";
24 license = lib.licenses.bsd3;
25 maintainers = [ lib.maintainers.brainrape ];
26 };
27}