diff options
Diffstat (limited to 'pkgs/development/idris-modules/httpclient.nix')
-rw-r--r-- | pkgs/development/idris-modules/httpclient.nix | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/pkgs/development/idris-modules/httpclient.nix b/pkgs/development/idris-modules/httpclient.nix deleted file mode 100644 index 13c33d04da511..0000000000000 --- a/pkgs/development/idris-modules/httpclient.nix +++ /dev/null @@ -1,36 +0,0 @@ -{ curl -, build-idris-package -, fetchFromGitHub -, lightyear -, contrib -, effects -, prelude -, base -, lib -, idris -}: - -let -in -build-idris-package { - name = "httpclient"; - version = "2016-12-20"; - - src = fetchFromGitHub { - owner = "justjoheinz"; - repo = "idris-httpclient"; - rev = "4a7296d572d7f7fde87d27da07d5c9566dc4ff14"; - sha256 = "0sy0q7gri9lwbqdmx9720pby3w1470w7wzn62bf2rir532219hhl"; - }; - - idrisDeps = [ prelude base effects lightyear contrib ]; - - extraBuildInputs = [ curl ]; - - meta = { - description = "HTTP Client for Idris"; - homepage = https://github.com/justjoheinz/idris-httpclient; - inherit (idris.meta) platforms; - broken = true; - }; -} |