pkgs/development/idris-modules/test.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , effects
   4 , lib
   5 }:
   6 build-idris-package  {
   7   pname = "test";
   8   version = "2017-03-30";
   9
  10   idrisDeps = [ effects ];
  11
  12   src = fetchFromGitHub {
  13     owner = "jfdm";
  14     repo = "idris-testing";
  15     rev = "604d56f77054931b21975198be669e22427b1f52";
  16     sha256 = "1pmyhs3jx6wd0pzjd3igfxb9zjs8pqmk4ah352bxjrqdnhqwrl51";
  17   };
  18
  19   doCheck = false;
  20
  21   meta = {
  22     description = "Testing Utilities for Idris programs";
  23     homepage = "https://github.com/jfdm/idris-testing";
  24     license = lib.licenses.bsd3;
  25     maintainers = [ lib.maintainers.brainrape ];
  26   };
  27 }