pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 contrib,
5 lightyear,
6 bytes,
7 lib,
8}:
9build-idris-package {
10 pname = "http";
11 version = "2018-02-25";
12
13 idrisDeps = [
14 contrib
15 lightyear
16 bytes
17 ];
18
19 src = fetchFromGitHub {
20 owner = "uwap";
21 repo = "idris-http";
22 rev = "dc4a31543f87c0bc44cbaa98192f0303cd8dd82e";
23 sha256 = "1abrwi5ikymff4g7a0g5wskycvhpnn895z1z1bz9r71ks554ypl8";
24 };
25
26 meta = {
27 description = "HTTP library for idris";
28 homepage = "https://github.com/uwap/idris-http";
29 license = lib.licenses.bsd2;
30 maintainers = [ lib.maintainers.brainrape ];
31 };
32}