pkgs/development/idris-modules/html.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , idrisscript
   4 , hrtime
   5 , webgl
   6 , lib
   7 }:
   8 build-idris-package  {
   9   pname = "html";
  10   version = "2017-04-23";
  11
  12   idrisDeps = [ idrisscript hrtime webgl ];
  13
  14   src = fetchFromGitHub {
  15     owner = "pierrebeaucamp";
  16     repo = "idris-html";
  17     rev = "f59ecc560d7008ba26dda83f11319bb24ed6c508";
  18     sha256 = "0r2clvkyld3y3r6smkfb7s47qnndikwds3bx9hphidbn41wjnh0i";
  19   };
  20
  21   postUnpack = ''
  22     sed -i "s/hrTime/hrtime/g" source/html.ipkg
  23   '';
  24
  25   meta = {
  26     description = "Idris library to interact with HTML";
  27     homepage = "https://github.com/pierrebeaucamp/idris-html";
  28     license = lib.licenses.asl20;
  29     maintainers = [ lib.maintainers.brainrape ];
  30   };
  31 }