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/categories.nix | |
| 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/categories.nix')
| -rw-r--r-- | pkgs/development/idris-modules/categories.nix | 5 |
1 files changed, 2 insertions, 3 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"; }; |