diff options
Diffstat (limited to 'pkgs/development/idris-modules/derive.nix')
-rw-r--r-- | pkgs/development/idris-modules/derive.nix | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/pkgs/development/idris-modules/derive.nix b/pkgs/development/idris-modules/derive.nix index 6cc2ead71fc63..7b6cb64cfe370 100644 --- a/pkgs/development/idris-modules/derive.nix +++ b/pkgs/development/idris-modules/derive.nix @@ -1,22 +1,21 @@ { build-idris-package , fetchFromGitHub -, prelude , contrib , pruviloj , lib -, idris }: build-idris-package { name = "derive"; - version = "2018-02-15"; + version = "2018-07-02"; - idrisDeps = [ prelude contrib pruviloj ]; + 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 = { @@ -24,6 +23,5 @@ build-idris-package { homepage = https://github.com/davlum/derive-all-the-instances; license = lib.licenses.mit; maintainers = [ lib.maintainers.brainrape ]; - inherit (idris.meta) platforms; }; } |