From c6c726bdfddf67ed87a07d15b9e99083f26e0cf6 Mon Sep 17 00:00:00 2001
From: Silvan Mosberger <infinisil@icloud.com>
Date: Mon, 2 Jul 2018 05:53:34 +0200
Subject: [PATCH] idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build

---
 pkgs/development/idris-modules/categories.nix | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/pkgs/development/idris-modules/categories.nix b/pkgs/development/idris-modules/categories.nix
index fe47f702513..1e234b3f693 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 = {