diff options
Diffstat (limited to 'pkgs/development/idris-modules/lightyear.nix')
-rw-r--r-- | pkgs/development/idris-modules/lightyear.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/lightyear.nix b/pkgs/development/idris-modules/lightyear.nix index 27828e6f41f6..e217e76e2a78 100644 --- a/pkgs/development/idris-modules/lightyear.nix +++ b/pkgs/development/idris-modules/lightyear.nix @@ -10,8 +10,11 @@ let date = "2017-09-10"; in -build-idris-package { - name = "lightyear-${date}"; +build-idris-package { + name = "lightyear"; + version = date; + + idrisDeps = [ prelude base effects ]; src = fetchFromGitHub { owner = "ziman"; @@ -20,8 +23,6 @@ build-idris-package { sha256 = "05x66abhpbdm6yr0afbwfk6w04ysdk78gylj5alhgwhy4jqakv29"; }; - propagatedBuildInputs = [ prelude base effects ]; - meta = { description = "Parser combinators for Idris"; homepage = https://github.com/ziman/lightyear; |