pkgs/development/idris-modules/transducers.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , lib
   4 }:
   5 build-idris-package  {
   6   name = "transducers";
   7   version = "2017-07-28";
   8
   9   src = fetchFromGitHub {
  10     owner = "QuentinDuval";
  11     repo = "IdrisReducers";
  12     rev = "2947ffa3559b642baeb3e43d7bb382e16bd073a8";
  13     sha256 = "0wzbbp5n113mva99mqr119zwp5pgj4l6wq9033z4f0kbm2nhmcfr";
  14   };
  15
  16   meta = {
  17     description = "Composable algorithmic transformation";
  18     homepage = "https://github.com/QuentinDuval/IdrisReducers";
  19     license = lib.licenses.bsd3;
  20     maintainers = [ lib.maintainers.brainrape ];
  21   };
  22 }