pkgs/development/idris-modules/tparsec.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , contrib
   4 , lib
   5 }:
   6 build-idris-package  {
   7   name = "tparsec";
   8   version = "2020-02-11";
   9
  10   ipkgName = "TParsec";
  11
  12   idrisDeps = [ contrib ];
  13
  14   src = fetchFromGitHub {
  15     owner = "gallais";
  16     repo = "idris-tparsec";
  17     rev = "943c64dfcb4e1582696f68312fad88145dc3a8e4";
  18     sha256 = "0pyhkafhx2pwim91ada6qrgacvahl9bpv5m486y8fph4qzf4z6mx";
  19   };
  20
  21   meta = {
  22     description = "TParsec - Total Parser Combinators in Idris";
  23     homepage = "https://github.com/gallais/idris-tparsec";
  24     license = lib.licenses.gpl3;
  25     maintainers = [ lib.maintainers.brainrape ];
  26   };
  27 }