JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

idrisPackages.lightyear: 2016-08-01 -> 2017-09-10

Browse Source
This commit is contained in:
xd1le 2017-10-19 02:03:36 +11:00
parent ceb2b71f69
commit 98c7361d3b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/idris-modules/lightyear.nix
View File

@ -8,7 +8,7 @@
}: }:
let let
date = "2016-08-01"; date = "2017-09-10";
in in
build-idris-package { build-idris-package {
name = "lightyear-${date}"; name = "lightyear-${date}";
@ -16,8 +16,8 @@ build-idris-package {
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "ziman"; owner = "ziman";
repo = "lightyear"; repo = "lightyear";
rev = "9420f9e892e23a7016dea1a61d8ce43a6d4ecf15"; rev = "f737e25a09c1fe7c5fff063c53bd7458be232cc8";
sha256 = "0xbjwq7sk4x78mi2zcqxbx7wziijlr1ayxihb1vml33lqmsgl1dn"; sha256 = "05x66abhpbdm6yr0afbwfk6w04ysdk78gylj5alhgwhy4jqakv29";
}; };
propagatedBuildInputs = [ prelude base effects ]; propagatedBuildInputs = [ prelude base effects ];