pkgs/development/idris-modules/tap.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , lib
   5 }:
   6 build-idris-package  {
   7   name = "tap";
   8   version = "2017-04-08";
   9
  10   ipkgName = "TAP";
  11   idrisDeps = [ contrib ];
  12
  13   src = fetchFromGitHub {
  14     owner = "ostera";
  15     repo = "tap-idris";
  16     rev = "0d019333e1883c1d60e151af1acb02e2b531e72f";
  17     sha256 = "0fhlmmivq9xv89r7plrnhmvay1j7bapz3wh7y8lygwvcrllh9zxs";
  18   };
  19
  20   meta = {
  21     description = "A simple TAP producer and consumer/reporter for Idris";
  22     homepage = "https://github.com/ostera/tap-idris";
  23     license = lib.licenses.bsd3;
  24     maintainers = [ lib.maintainers.brainrape ];
  25   };
  26 }