pkgs/development/idris-modules/dict.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , lib
   5 }:
   6 build-idris-package  {
   7   name = "dict";
   8   version = "2016-12-26";
   9
  10   idrisDeps = [ contrib ];
  11
  12   src = fetchFromGitHub {
  13     owner = "be5invis";
  14     repo = "idris-dict";
  15     rev = "dddc7c9f45e079b151ee03c9752b968ceeab9dab";
  16     sha256 = "18riq40vapg884y92w10w51j4896ah984zm5hisfv1sm9qbgx8ii";
  17   };
  18
  19   postUnpack = ''
  20     sed -i 's/\"//g' source/dict.ipkg
  21   '';
  22
  23   meta = {
  24     description = "Dict k v in Idris";
  25     homepage = "https://github.com/be5invis/idris-dict";
  26     license = lib.licenses.mit;
  27     maintainers = [ lib.maintainers.brainrape ];
  28   };
  29 }