diff options
| author | xd1le <elisp.vim@gmail.com> | 2017-10-19 02:03:36 +1100 |
|---|---|---|
| committer | xd1le <elisp.vim@gmail.com> | 2017-10-19 02:03:36 +1100 |
| commit | 98c7361d3ba065610c10566cba9db2086d868f9c (patch) | |
| tree | 09713d2449d850ca0160df8287c12c8780bf1dbd /pkgs | |
| parent | ceb2b71f691e70aa36e4419d9556881502b6845c (diff) | |
| download | nixlib-98c7361d3ba065610c10566cba9db2086d868f9c.tar nixlib-98c7361d3ba065610c10566cba9db2086d868f9c.tar.gz nixlib-98c7361d3ba065610c10566cba9db2086d868f9c.tar.bz2 nixlib-98c7361d3ba065610c10566cba9db2086d868f9c.tar.lz nixlib-98c7361d3ba065610c10566cba9db2086d868f9c.tar.xz nixlib-98c7361d3ba065610c10566cba9db2086d868f9c.tar.zst nixlib-98c7361d3ba065610c10566cba9db2086d868f9c.zip | |
idrisPackages.lightyear: 2016-08-01 -> 2017-09-10
Diffstat (limited to 'pkgs')
| -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 ]; |