From 4c1d8b4347cf4a3e566165bb16551108ea4b4af1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?M=C3=A1rton=20Boros?= Date: Tue, 20 Dec 2016 00:28:23 +0100 Subject: [PATCH] idrisPackages.httpclient: init --- pkgs/development/idris-modules/httpclient.nix | 30 +++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 pkgs/development/idris-modules/httpclient.nix diff --git a/pkgs/development/idris-modules/httpclient.nix b/pkgs/development/idris-modules/httpclient.nix new file mode 100644 index 00000000000..ec41956b963 --- /dev/null +++ b/pkgs/development/idris-modules/httpclient.nix @@ -0,0 +1,30 @@ +{ pkgs +, build-idris-package +, fetchFromGitHub +, lightyear +, contrib +, lib +, idris +}: + +let + date = "2016-12-20"; +in +build-idris-package { + name = "httpclient-${date}"; + + src = fetchFromGitHub { + owner = "justjoheinz"; + repo = "idris-httpclient"; + rev = "4a7296d572d7f7fde87d27da07d5c9566dc4ff14"; + sha256 = "0sy0q7gri9lwbqdmx9720pby3w1470w7wzn62bf2rir532219hhl"; + }; + + propagatedBuildInputs = [ pkgs.curl lightyear contrib ]; + + meta = { + description = "HTTP Client for Idris"; + homepage = https://github.com/justjoheinz/idris-httpclient; + inherit (idris.meta) platforms; + }; +}