pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 lib,
5}:
6build-idris-package {
7 pname = "tp";
8 version = "2017-08-15";
9
10 src = fetchFromGitHub {
11 owner = "superfunc";
12 repo = "tp";
13 rev = "ef59ccf355ae462bd4f55d596e6d03a9376b67b2";
14 sha256 = "1a924qvm1dqfg419x8n35w0sz74vyyqsynz5g393f82jsrrwci8z";
15 };
16
17 # tests fail with permission error
18 doCheck = false;
19
20 meta = {
21 description = "Strongly Typed Paths for Idris";
22 homepage = "https://github.com/superfunc/tp";
23 license = lib.licenses.mit;
24 maintainers = [ lib.maintainers.brainrape ];
25 };
26}