pkgs/development/idris-modules/mhd.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , effects
   5 , libmicrohttpd
   6 , lib
   7 }:
   8 build-idris-package  {
   9   pname = "mhd";
  10   version = "2016-04-22";
  11
  12   ipkgName = "MHD";
  13   idrisDeps = [ contrib effects ];
  14
  15   extraBuildInputs = [ libmicrohttpd ];
  16
  17   src = fetchFromGitHub {
  18     owner = "colin-adams";
  19     repo = "idris-libmicrohttpd";
  20     rev = "a8808bc06fa292d4b3389f32cb00716e43122a46";
  21     sha256 = "0wvp1qi3bn4hk52vsid6acfwvwbs58sggylbpjvkxzycsbhz4nx4";
  22   };
  23
  24   meta = {
  25     description = "Binding of the GNU libmicrohttpd library to the Idris C backend";
  26     homepage = "https://github.com/colin-adams/idris-libmicrohttpd";
  27     license = lib.licenses.lgpl21;
  28     maintainers = [ lib.maintainers.brainrape ];
  29   };
  30 }