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 | nixpkgs-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar nixpkgs-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar.gz nixpkgs-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar.bz2 nixpkgs-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar.lz nixpkgs-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar.xz nixpkgs-cefa098cd8df04a5cf75468c2f9cf8ac82cc3c5c.tar.zst nixpkgs-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 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 = { |