From 34801703a73add9607c11d3ef6fbc17d07a38cf5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20=C4=8C=C3=A1bera?= <cabera.jakub@gmail.com>
Date: Sun, 22 Sep 2019 17:52:48 +0200
Subject: [PATCH] idris@1.3.2: Hash fix (#438)

- Closes #429
---
 bucket/idris.json | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/bucket/idris.json b/bucket/idris.json
index 03a612eb7a..e9b991d1ff 100644
--- a/bucket/idris.json
+++ b/bucket/idris.json
@@ -1,22 +1,22 @@
 {
-    "description": "A Dependently Typed Functional Programming Language",
+    "description": "A Dependently Typed Functional Programming Language.",
     "homepage": "https://www.idris-lang.org/",
     "version": "1.3.2",
     "license": "BSD-3-Clause",
     "architecture": {
         "64bit": {
             "url": "https://neon.se/idris/idris-1.3.2-win64.7z",
-            "hash": "e5ea33ee90fb34d0261d9e35b63c85a6909060932212ca309293a9d4e25edb76"
+            "hash": "ac8e0d2e311e570ca41034a7bade437a3aa3e736a94ef0b12ca2a68315475099"
         },
         "32bit": {
             "url": "https://neon.se/idris/idris-1.3.2-win32.7z",
-            "hash": "595363cc897f1ee8463f009456aecc2ed6b9a0b32c8eb5beb3b7ec9dba6f579e"
+            "hash": "2a7d7d793cc47191da9a26fb28b671bc8b2ddcee8565c5439fdff9fe0e7eaed1"
         }
     },
     "bin": "idris\\idris.exe",
     "checkver": {
         "url": "https://neon.se/idris.html",
-        "re": "idris-([\\d.]+)-win"
+        "regex": "idris-([\\d.]+)-win"
     },
     "autoupdate": {
         "architecture": {