pkgs/development/idris-modules/specdris.nix

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