diff options
author | Márton Boros <martonboros@gmail.com> | 2016-12-20 00:28:23 +0100 |
---|---|---|
committer | Márton Boros <martonboros@gmail.com> | 2016-12-20 00:28:23 +0100 |
commit | 4c1d8b4347cf4a3e566165bb16551108ea4b4af1 (patch) | |
tree | 72bd128895d0fc149b8b70a7e84d7421f430f2f1 /pkgs/development/idris-modules | |
parent | 3e92b56be35605923b1f29f3f335aac1e2764065 (diff) | |
download | nixpkgs-4c1d8b4347cf4a3e566165bb16551108ea4b4af1.tar nixpkgs-4c1d8b4347cf4a3e566165bb16551108ea4b4af1.tar.gz nixpkgs-4c1d8b4347cf4a3e566165bb16551108ea4b4af1.tar.bz2 nixpkgs-4c1d8b4347cf4a3e566165bb16551108ea4b4af1.tar.lz nixpkgs-4c1d8b4347cf4a3e566165bb16551108ea4b4af1.tar.xz nixpkgs-4c1d8b4347cf4a3e566165bb16551108ea4b4af1.tar.zst nixpkgs-4c1d8b4347cf4a3e566165bb16551108ea4b4af1.zip |
idrisPackages.httpclient: init
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/httpclient.nix | 30 |
1 files changed, 30 insertions, 0 deletions
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; + }; +} |