pkgs/development/idris-modules/specdris.nix

   1 {
   2   build-idris-package,
   3   fetchFromGitHub,
   4   effects,
   5   lib,
   6 }:
   7 build-idris-package {
   8   pname = "specdris";
   9   version = "2018-01-23";
  10
  11   src = fetchFromGitHub {
  12     owner = "pheymann";
  13     repo = "specdris";
  14     rev = "625f88f5e118e53f30bcf5e5f3dcf48eb268ac21";
  15     sha256 = "1gc717xf4i7z75aqazy5wqm7b1dqfyx5pprdypxz1h3980m67fsa";
  16   };
  17
  18   idrisDeps = [ effects ];
  19
  20   # tests use a different ipkg and directory structure
  21   doCheck = false;
  22
  23   meta = {
  24     description = "Testing library for Idris";
  25     homepage = "https://github.com/pheymann/specdris";
  26     license = lib.licenses.mit;
  27   };
  28 }