diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-03-20 06:44:42 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-20 06:44:42 +0000 |
commit | 7bef35e69164bfafca06c60d784227c6403f6385 (patch) | |
tree | 928d3026d905b01a07c71648226249192cc1f7cc /pkgs/development/idris-modules/lightyear.nix | |
parent | c79cc60e643ecace48ca207d39fc61b04126e572 (diff) | |
parent | 23ee7c9d8d510a781c9796d392e968537d254883 (diff) | |
download | nixlib-7bef35e69164bfafca06c60d784227c6403f6385.tar nixlib-7bef35e69164bfafca06c60d784227c6403f6385.tar.gz nixlib-7bef35e69164bfafca06c60d784227c6403f6385.tar.bz2 nixlib-7bef35e69164bfafca06c60d784227c6403f6385.tar.lz nixlib-7bef35e69164bfafca06c60d784227c6403f6385.tar.xz nixlib-7bef35e69164bfafca06c60d784227c6403f6385.tar.zst nixlib-7bef35e69164bfafca06c60d784227c6403f6385.zip |
Merge pull request #37358 from brainrape/idrisPackages-update
idrisPackages: add packages
Diffstat (limited to 'pkgs/development/idris-modules/lightyear.nix')
-rw-r--r-- | pkgs/development/idris-modules/lightyear.nix | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/pkgs/development/idris-modules/lightyear.nix b/pkgs/development/idris-modules/lightyear.nix index e217e76e2a78..6cedda0170f2 100644 --- a/pkgs/development/idris-modules/lightyear.nix +++ b/pkgs/development/idris-modules/lightyear.nix @@ -7,12 +7,9 @@ , idris }: -let - date = "2017-09-10"; -in build-idris-package { name = "lightyear"; - version = date; + version = "2017-09-10"; idrisDeps = [ prelude base effects ]; @@ -27,7 +24,7 @@ build-idris-package { description = "Parser combinators for Idris"; homepage = https://github.com/ziman/lightyear; license = lib.licenses.bsd2; - maintainers = [ lib.maintainers.siddharthist ]; + maintainers = with lib.maintainers; [ siddharthist brainrape ]; inherit (idris.meta) platforms; }; } |