pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 lib,
5}:
6build-idris-package {
7 pname = "posix";
8 version = "2017-11-18";
9
10 src = fetchFromGitHub {
11 owner = "idris-hackers";
12 repo = "idris-posix";
13 rev = "1e4787bc4dfcf901f2e1858e5334a6bafa5d27c4";
14 sha256 = "14y51vn18v23k56gi3b33rjjwpf02qfb00w8cfy8qycrl8rbgsmb";
15 };
16
17 # tests need file permissions
18 doCheck = false;
19
20 meta = {
21 description = "System POSIX bindings for Idris";
22 homepage = "https://github.com/idris-hackers/idris-posix";
23 maintainers = [ lib.maintainers.brainrape ];
24 };
25}