pkgs/development/idris-modules/mhd.nix

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