pkgs/development/idris-modules/union_type.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , lib
   4 }:
   5 build-idris-package  {
   6   name = "union_type";
   7   version = "2018-01-30";
   8
   9   src = fetchFromGitHub {
  10     owner = "berewt";
  11     repo = "UnionType";
  12     rev = "f7693036237585fe324a815a96ad101d9659c689";
  13     sha256 = "1ky0h03kja2y1fjg18j46akw03wi5ng80pghh2j3ib6hxlg1rbs7";
  14   };
  15
  16   meta = {
  17     description = "UnionType in Idris";
  18     homepage = "https://github.com/berewt/UnionType";
  19     license = lib.licenses.mit;
  20     maintainers = [ lib.maintainers.brainrape ];
  21   };
  22 }