pkgs/development/idris-modules/coda.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , lib
   4 }:
   5 build-idris-package  {
   6   name = "coda";
   7   version = "2018-01-25";
   8
   9   ipkgName = "Coda";
  10
  11   src = fetchFromGitHub {
  12     owner = "ostera";
  13     repo = "idris-coda";
  14     rev = "0d8b29b7b73aa1ea80bf216e5e6dea5e81156e32";
  15     sha256 = "07wps3pyp4ph0vj3640x561gkjkbcdq1if9h6sjjb30924sbdxfg";
  16   };
  17
  18   meta = {
  19     description = "Some Idris libraries including nodejs bindings and ISO8601 Date and Time";
  20     homepage = "https://github.com/ostera/idris-coda";
  21     license = lib.licenses.bsd3;
  22     maintainers = [ lib.maintainers.brainrape ];
  23   };
  24 }