diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2018-10-26 11:15:10 +0200 |
|---|---|---|
| committer | Silvan Mosberger <infinisil@icloud.com> | 2018-10-26 11:15:10 +0200 |
| commit | 41b55b3508f3cec4736fb7f24c4aaa6b60fbd805 (patch) | |
| tree | e25447148c0c9508e76850a4c4b278a42721090f /pkgs/development/idris-modules | |
| parent | e438125d979151674599ceaf1d05fbd776e476a0 (diff) | |
| download | nixpkgs-41b55b3508f3cec4736fb7f24c4aaa6b60fbd805.tar nixpkgs-41b55b3508f3cec4736fb7f24c4aaa6b60fbd805.tar.gz nixpkgs-41b55b3508f3cec4736fb7f24c4aaa6b60fbd805.tar.bz2 nixpkgs-41b55b3508f3cec4736fb7f24c4aaa6b60fbd805.tar.lz nixpkgs-41b55b3508f3cec4736fb7f24c4aaa6b60fbd805.tar.xz nixpkgs-41b55b3508f3cec4736fb7f24c4aaa6b60fbd805.tar.zst nixpkgs-41b55b3508f3cec4736fb7f24c4aaa6b60fbd805.zip | |
idrisPackages.{categories,derive}: Use upstream instead of forks
These forks were introduced in https://github.com/NixOS/nixpkgs/pull/42861 to make the builds succeed. The changes have since been incorporated upstream.
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/categories.nix | 5 | ||||
| -rw-r--r-- | pkgs/development/idris-modules/derive.nix | 7 |
2 files changed, 5 insertions, 7 deletions
diff --git a/pkgs/development/idris-modules/categories.nix b/pkgs/development/idris-modules/categories.nix index 1e234b3f693..91ee174dadf 100644 --- a/pkgs/development/idris-modules/categories.nix +++ b/pkgs/development/idris-modules/categories.nix @@ -6,11 +6,10 @@ build-idris-package { name = "categories"; version = "2018-07-02"; - # https://github.com/danilkolikov/categories/pull/5 src = fetchFromGitHub { - owner = "infinisil"; + owner = "danilkolikov"; repo = "categories"; - rev = "9722d62297e5025431e91b271ab09c5d14867236"; + rev = "a1e0ac0f0da2e336a7d3900051892ff7ed504c35"; sha256 = "1bbmm8zif5d5wckdaddw6q3c39w6ms1cxrlrmkdn7bik88dawff2"; }; diff --git a/pkgs/development/idris-modules/derive.nix b/pkgs/development/idris-modules/derive.nix index 7b6cb64cfe3..7f3164f3160 100644 --- a/pkgs/development/idris-modules/derive.nix +++ b/pkgs/development/idris-modules/derive.nix @@ -10,12 +10,11 @@ build-idris-package { idrisDeps = [ contrib pruviloj ]; - # https://github.com/david-christiansen/derive-all-the-instances/pull/9 src = fetchFromGitHub { - owner = "infinisil"; + owner = "david-christiansen"; repo = "derive-all-the-instances"; - rev = "61c3e12e26f599379299fcbb9c40a81bfc3e0604"; - sha256 = "0g2lb8nrwqwf3gm5fir43cxz6db84n19xiwkv8cmmqc1fgy6v0qn"; + rev = "0a9a5082d4ab6f879a2c141d1a7b645fa73fd950"; + sha256 = "06za15m1kv9mijzll5712crry4iwx3b0fjv76gy9vv1p10gy2g4m"; }; meta = { |