pkgs/development/idris-modules/jheiling-js.nix

   1 {
   2   build-idris-package,
   3   fetchFromGitHub,
   4   contrib,
   5   jheiling-extras,
   6   lib,
   7 }:
   8 build-idris-package {
   9   pname = "jheiling-js";
  10   version = "2016-03-09";
  11
  12   ipkgName = "js";
  13   idrisDeps = [
  14     contrib
  15     jheiling-extras
  16   ];
  17
  18   src = fetchFromGitHub {
  19     owner = "jheiling";
  20     repo = "idris-js";
  21     rev = "59763cd0c9715a9441931ae1077e501bb2ec6020";
  22     sha256 = "1mvpxwszh56cfrf509qiadn7gp2l4syanhvdq6v1br0y03g8wk9v";
  23   };
  24
  25   meta = {
  26     description = "Js library for Idris";
  27     homepage = "https://github.com/jheiling/idris-js";
  28     license = lib.licenses.unlicense;
  29     maintainers = [ lib.maintainers.brainrape ];
  30   };
  31 }