From 74d2b01db5291ed81ec06c10ea1a3b1829c24018 Mon Sep 17 00:00:00 2001
From: Silvan Mosberger <infinisil@icloud.com>
Date: Mon, 2 Jul 2018 05:30:06 +0200
Subject: [PATCH] idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build

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

diff --git a/pkgs/development/idris-modules/tparsec.nix b/pkgs/development/idris-modules/tparsec.nix
index ba9e5e586ed7..bd895a33bae3 100644
--- a/pkgs/development/idris-modules/tparsec.nix
+++ b/pkgs/development/idris-modules/tparsec.nix
@@ -4,13 +4,13 @@
 }:
 build-idris-package  {
   name = "tparsec";
-  version = "2017-12-12";
+  version = "2018-06-26";
 
   src = fetchFromGitHub {
     owner = "gallais";
     repo = "idris-tparsec";
-    rev = "fb87d08f8f58c934f37d8324b43b0979abcf2183";
-    sha256 = "0362076bfs976gqki4b4pxblhnk4xglgx5v2aycjpxsxlpxh6cfd";
+    rev = "ca32d1a83f3de95f8979d48016e79d010f47b3c2";
+    sha256 = "1zjzk8xjmyyx1qwrdwwg7yjzcgj5wkbwpx8a3wpbj5sv4b5s2r30";
   };
 
   meta = {