From cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c Mon Sep 17 00:00:00 2001 From: Silvan Mosberger Date: Mon, 2 Jul 2018 05:19:51 +0200 Subject: [PATCH] idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix build --- pkgs/development/idris-modules/derive.nix | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/pkgs/development/idris-modules/derive.nix b/pkgs/development/idris-modules/derive.nix index a0bc4d6b968..7b6cb64cfe3 100644 --- a/pkgs/development/idris-modules/derive.nix +++ b/pkgs/development/idris-modules/derive.nix @@ -6,15 +6,16 @@ }: build-idris-package { name = "derive"; - version = "2018-02-15"; + version = "2018-07-02"; idrisDeps = [ contrib pruviloj ]; + # https://github.com/david-christiansen/derive-all-the-instances/pull/9 src = fetchFromGitHub { - owner = "davlum"; + owner = "infinisil"; repo = "derive-all-the-instances"; - rev = "2c8956807bd094ba33569227de921c6726401c42"; - sha256 = "0l7263s04r52ql292vnnx2kngld6s1dipmaz5na7m82lj9p4x17y"; + rev = "61c3e12e26f599379299fcbb9c40a81bfc3e0604"; + sha256 = "0g2lb8nrwqwf3gm5fir43cxz6db84n19xiwkv8cmmqc1fgy6v0qn"; }; meta = {