pkgs/development/idris-modules/dict.nix

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