pkgs/development/idris-modules/http.nix

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