From f45dd12d30aad9ec118f1ab87efeab87d7fe1409 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Fri, 15 Jun 2018 19:42:42 +0200
Subject: [PATCH] idris: fix hash (closes #2308)

---
 idris.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/idris.json b/idris.json
index c10fedd8be..685a813a65 100644
--- a/idris.json
+++ b/idris.json
@@ -5,11 +5,11 @@
     "architecture": {
         "64bit": {
             "url": "https://neon.se/idris/idris-1.3.0-win64.exe#/dl.7z",
-            "hash": "099e047ea5498d850f39097d61527d77c359788ca4984a9fe3b2a4cd74341165"
+            "hash": "99edeecf92194df0b798f4c3ecbf32fccc8fd36be2b1222c48ed35eac26bae70"
         },
         "32bit": {
             "url": "https://neon.se/idris/idris-1.3.0-win32.exe#/dl.7z",
-            "hash": "256170a98cffc7db9734ceded13dada2335f6e0905337db92f3a1b760730047a"
+            "hash": "8a8b29091612dc5ac6460e58a0c2a6598778e307d308b4ab47f28b3de7e5790f"
         }
     },
     "bin": "idris\\idris.exe",