From 0519b48ab86964c57e692782ad99cffb697a74aa Mon Sep 17 00:00:00 2001
From: Silvan Mosberger <infinisil@icloud.com>
Date: Mon, 2 Jul 2018 05:22:31 +0200
Subject: idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build

---
 pkgs/development/idris-modules/setoids.nix | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'pkgs/development/idris-modules')

diff --git a/pkgs/development/idris-modules/setoids.nix b/pkgs/development/idris-modules/setoids.nix
index e1fe9a5701f..6db49c3c3c9 100644
--- a/pkgs/development/idris-modules/setoids.nix
+++ b/pkgs/development/idris-modules/setoids.nix
@@ -1,16 +1,19 @@
 { build-idris-package
 , fetchFromGitHub
+, contrib
 , lib
 }:
 build-idris-package  {
   name = "setoids";
-  version = "2017-03-13";
+  version = "2018-06-18";
+
+  idrisDeps = [ contrib ];
 
   src = fetchFromGitHub {
     owner = "danilkolikov";
     repo = "setoids";
-    rev = "a50cfc010cb4321cc9b7988c0a4f387d83d34839";
-    sha256 = "0q0h2qj9vylkm16h70l78l2p5xjkx4qmg2a2ixfl8vq8b1zm8gch";
+    rev = "41b4af3b1a537d9471107a639ad77c7abee2de18";
+    sha256 = "0fl1g59s16vnrdnplps5ncv27j7a93nxp9cmqp2iavjxlzlzin1v";
   };
 
   meta = {
-- 
cgit 1.4.1