From 049d3cbc3a55d773cb6adfbf1d83ca7c6a8eb2d2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20=C4=8C=C3=A1bera?= <cabera.jakub@gmail.com>
Date: Fri, 12 Jun 2020 08:46:25 +0200
Subject: [PATCH] idris: Update to version 1.3.3 (#1163)

#150
---
 bucket/idris.json | 17 +++++------------
 1 file changed, 5 insertions(+), 12 deletions(-)

diff --git a/bucket/idris.json b/bucket/idris.json
index e9b991d1ff..775ed9e244 100644
--- a/bucket/idris.json
+++ b/bucket/idris.json
@@ -1,16 +1,12 @@
 {
-    "description": "A Dependently Typed Functional Programming Language.",
-    "homepage": "https://www.idris-lang.org/",
-    "version": "1.3.2",
+    "version": "1.3.3",
+    "description": "A Dependently Typed Functional Programming Language",
+    "homepage": "https://www.idris-lang.org",
     "license": "BSD-3-Clause",
     "architecture": {
         "64bit": {
-            "url": "https://neon.se/idris/idris-1.3.2-win64.7z",
-            "hash": "ac8e0d2e311e570ca41034a7bade437a3aa3e736a94ef0b12ca2a68315475099"
-        },
-        "32bit": {
-            "url": "https://neon.se/idris/idris-1.3.2-win32.7z",
-            "hash": "2a7d7d793cc47191da9a26fb28b671bc8b2ddcee8565c5439fdff9fe0e7eaed1"
+            "url": "https://neon.se/idris/idris-1.3.3-win64.7z",
+            "hash": "9ae353d6f4b50e30ab7ec658803d6719c70ef6182aa47e779ee647ec3adb1ff5"
         }
     },
     "bin": "idris\\idris.exe",
@@ -22,9 +18,6 @@
         "architecture": {
             "64bit": {
                 "url": "https://neon.se/idris/idris-$version-win64.7z"
-            },
-            "32bit": {
-                "url": "https://neon.se/idris/idris-$version-win32.7z"
             }
         }
     }