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"
             }
         }
     }