diff options
author | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 05:19:51 +0200 |
---|---|---|
committer | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 06:43:15 +0200 |
commit | cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c (patch) | |
tree | 509ad562664fc14b1b2b5f73120ebc3deefe00c0 /pkgs/development/idris-modules | |
parent | c6c726bdfddf67ed87a07d15b9e99083f26e0cf6 (diff) | |
download | nixlib-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar nixlib-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar.gz nixlib-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar.bz2 nixlib-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar.lz nixlib-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar.xz nixlib-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar.zst nixlib-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.zip |
idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix build
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/derive.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/derive.nix b/pkgs/development/idris-modules/derive.nix index a0bc4d6b9687..7b6cb64cfe37 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 = { |