diff options
author | Joachim F <joachifm@users.noreply.github.com> | 2017-10-20 13:56:57 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-20 13:56:57 +0000 |
commit | e885fbc3e3d692ce1739608bbd4e3544ab9cfa1b (patch) | |
tree | df9d64dacf68eb9e3ac84b18bfd3e6bd85a858e0 | |
parent | 5f1d6bc5c7a1c627c8c3a27e34b0c44ea7393568 (diff) | |
parent | 98c7361d3ba065610c10566cba9db2086d868f9c (diff) | |
download | nixlib-e885fbc3e3d692ce1739608bbd4e3544ab9cfa1b.tar nixlib-e885fbc3e3d692ce1739608bbd4e3544ab9cfa1b.tar.gz nixlib-e885fbc3e3d692ce1739608bbd4e3544ab9cfa1b.tar.bz2 nixlib-e885fbc3e3d692ce1739608bbd4e3544ab9cfa1b.tar.lz nixlib-e885fbc3e3d692ce1739608bbd4e3544ab9cfa1b.tar.xz nixlib-e885fbc3e3d692ce1739608bbd4e3544ab9cfa1b.tar.zst nixlib-e885fbc3e3d692ce1739608bbd4e3544ab9cfa1b.zip |
Merge pull request #30543 from vyp/upd/idrispackages.lightyear
idrisPackages.lightyear: 2016-08-01 -> 2017-09-10
-rw-r--r-- | pkgs/development/idris-modules/lightyear.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/idris-modules/lightyear.nix b/pkgs/development/idris-modules/lightyear.nix index 11afd4ebe76d..27828e6f41f6 100644 --- a/pkgs/development/idris-modules/lightyear.nix +++ b/pkgs/development/idris-modules/lightyear.nix @@ -8,7 +8,7 @@ }: let - date = "2016-08-01"; + date = "2017-09-10"; in build-idris-package { name = "lightyear-${date}"; @@ -16,8 +16,8 @@ build-idris-package { src = fetchFromGitHub { owner = "ziman"; repo = "lightyear"; - rev = "9420f9e892e23a7016dea1a61d8ce43a6d4ecf15"; - sha256 = "0xbjwq7sk4x78mi2zcqxbx7wziijlr1ayxihb1vml33lqmsgl1dn"; + rev = "f737e25a09c1fe7c5fff063c53bd7458be232cc8"; + sha256 = "05x66abhpbdm6yr0afbwfk6w04ysdk78gylj5alhgwhy4jqakv29"; }; propagatedBuildInputs = [ prelude base effects ]; |