pkgs/development/idris-modules/vdom.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , lib
   4 }:
   5 build-idris-package  {
   6   pname = "vdom";
   7   version = "0.6.0";
   8
   9   ipkgName = "idris-vdom";
  10
  11   src = fetchFromGitHub {
  12     owner = "brandondyck";
  13     repo = "idris-vdom";
  14     rev = "ff32c14feeac937f7418830a9a3463cd9582be8a";
  15     sha256 = "0aila1qdpmhrp556dzaxk7yn7vgkwcnbp9jhw8f8pl51xs3s2kvf";
  16   };
  17
  18   meta = {
  19     description = "Virtual DOM in pure Idris";
  20     homepage = "https://github.com/brandondyck/idris-vdom";
  21     license = lib.licenses.mit;
  22     maintainers = [ lib.maintainers.brainrape ];
  23   };
  24 }