pkgs/development/idris-modules/bifunctors.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , lib
   4 }:
   5 build-idris-package  {
   6   pname = "bifunctors";
   7   version = "2017-02-07";
   8
   9   src = fetchFromGitHub {
  10     owner = "japesinator";
  11     repo = "Idris-Bifunctors";
  12     rev = "be7b8bde88331ad3af87e5c0a23fc0f3d52f3868";
  13     sha256 = "0cfp58lhm2g0g1vrpb0mh71qb44n2yvg5sil9ndyf2sqd5ria6yq";
  14   };
  15
  16   meta = {
  17     description = "Small bifunctor library for idris";
  18     homepage = "https://github.com/japesinator/Idris-Bifunctors";
  19     maintainers = [ lib.maintainers.brainrape ];
  20   };
  21 }