diff options
Diffstat (limited to 'nixpkgs/pkgs/development/idris-modules/lightyear.nix')
-rw-r--r-- | nixpkgs/pkgs/development/idris-modules/lightyear.nix | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/idris-modules/lightyear.nix b/nixpkgs/pkgs/development/idris-modules/lightyear.nix new file mode 100644 index 000000000000..34c19eea4ac4 --- /dev/null +++ b/nixpkgs/pkgs/development/idris-modules/lightyear.nix @@ -0,0 +1,25 @@ +{ build-idris-package +, fetchFromGitHub +, effects +, lib +}: +build-idris-package { + name = "lightyear"; + version = "2017-09-10"; + + idrisDeps = [ effects ]; + + src = fetchFromGitHub { + owner = "ziman"; + repo = "lightyear"; + rev = "f737e25a09c1fe7c5fff063c53bd7458be232cc8"; + sha256 = "05x66abhpbdm6yr0afbwfk6w04ysdk78gylj5alhgwhy4jqakv29"; + }; + + meta = { + description = "Parser combinators for Idris"; + homepage = "https://github.com/ziman/lightyear"; + license = lib.licenses.bsd2; + maintainers = with lib.maintainers; [ siddharthist brainrape ]; + }; +} |