pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 effects,
5 lib,
6}:
7build-idris-package {
8 pname = "specdris";
9 version = "2018-01-23";
10
11 src = fetchFromGitHub {
12 owner = "pheymann";
13 repo = "specdris";
14 rev = "625f88f5e118e53f30bcf5e5f3dcf48eb268ac21";
15 sha256 = "1gc717xf4i7z75aqazy5wqm7b1dqfyx5pprdypxz1h3980m67fsa";
16 };
17
18 idrisDeps = [ effects ];
19
20 # tests use a different ipkg and directory structure
21 doCheck = false;
22
23 meta = {
24 description = "Testing library for Idris";
25 homepage = "https://github.com/pheymann/specdris";
26 license = lib.licenses.mit;
27 };
28}