@@ -0,0 +1,30 @@
1+{ pkgs
2+, build-idris-package
3+, fetchFromGitHub
4+, lightyear
5+, contrib
6+, lib
7+, idris
8+}:
9+
10+let
11+ date = "2016-12-20";
12+in
13+build-idris-package {
14+ name = "httpclient-${date}";
15+
16+ src = fetchFromGitHub {
17+ owner = "justjoheinz";
18+ repo = "idris-httpclient";
19+ rev = "4a7296d572d7f7fde87d27da07d5c9566dc4ff14";
20+ sha256 = "0sy0q7gri9lwbqdmx9720pby3w1470w7wzn62bf2rir532219hhl";
21+ };
22+
23+ propagatedBuildInputs = [ pkgs.curl lightyear contrib ];
24+
25+ meta = {
26+ description = "HTTP Client for Idris";
27+ homepage = https://github.com/justjoheinz/idris-httpclient;
28+ inherit (idris.meta) platforms;
29+ };
30+}