pkgs/development/idris-modules/wyvern.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , effects
   5 , lib
   6 }:
   7 build-idris-package  {
   8   name = "wyvern";
   9   version = "2017-06-26";
  10
  11   idrisDeps = [ contrib effects ];
  12
  13   src = fetchFromGitHub {
  14     owner = "ericqweinstein";
  15     repo = "wyvern";
  16     rev = "b9e3e5747c5b23608c6ed5e2ccf43b86caa04292";
  17     sha256 = "0zihf95w7i0903zy1mzn1ldn697nf57yl80nl32dpgji72h98kh2";
  18   };
  19
  20   postUnpack = ''
  21     sed -i "s/Wyvern.Core/Wyvern.Main/g" source/src/Wyvern.idr
  22   '';
  23
  24   meta = {
  25     description = "Little web server written in Idris";
  26     homepage = "https://github.com/ericqweinstein/wyvern";
  27     license = lib.licenses.mit;
  28     maintainers = [ lib.maintainers.brainrape ];
  29   };
  30 }