diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 05:53:34 +0200 |
|---|---|---|
| committer | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 06:43:15 +0200 |
| commit | c6c726bdfddf67ed87a07d15b9e99083f26e0cf6 (patch) | |
| tree | eeac2ffe816afd19bf45986f98db92a94a355138 /pkgs/development/idris-modules | |
| parent | 74d2b01db5291ed81ec06c10ea1a3b1829c24018 (diff) | |
idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/categories.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/categories.nix b/pkgs/development/idris-modules/categories.nix index fe47f7025138..1e234b3f6934 100644 --- a/pkgs/development/idris-modules/categories.nix +++ b/pkgs/development/idris-modules/categories.nix @@ -4,13 +4,14 @@ }: build-idris-package { name = "categories"; - version = "2017-03-01"; + version = "2018-07-02"; + # https://github.com/danilkolikov/categories/pull/5 src = fetchFromGitHub { - owner = "danilkolikov"; + owner = "infinisil"; repo = "categories"; - rev = "933fe418d154e10df39ddb09a74419cb4c4a57e8"; - sha256 = "1dmpcv13zh7j4k6s2nlpf08gmpawaqaqkbqbg8zrgw253piwb0ci"; + rev = "9722d62297e5025431e91b271ab09c5d14867236"; + sha256 = "1bbmm8zif5d5wckdaddw6q3c39w6ms1cxrlrmkdn7bik88dawff2"; }; meta = { |