pkgs/development/idris-modules/fsm.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , lib
   4 }:
   5 build-idris-package  {
   6   pname = "fsm";
   7   version = "2017-04-16";
   8
   9   src = fetchFromGitHub {
  10     owner = "ctford";
  11     repo = "flying-spaghetti-monster";
  12     rev = "9253db1048d155b9d72dd5319f0a2072b574d406";
  13     sha256 = "0n1kqpxysl3dji0zd8c47ir4144s0n3pb8i1mqp6ylma3r7rlg1l";
  14   };
  15
  16   meta = {
  17     description = "Comonads for Idris";
  18     homepage = "https://github.com/ctford/flying-spaghetti-monster";
  19     license = lib.licenses.bsd3;
  20     maintainers = [ lib.maintainers.brainrape ];
  21   };
  22 }