From e08394ab6e7250f5bed384d453259d7b29371c8c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20=C4=8C=C3=A1bera?= <cabera.jakub@gmail.com>
Date: Tue, 19 Nov 2019 04:27:43 +0100
Subject: [PATCH] purescript@0.13.5: Fix hash (#584)

---
 bucket/purescript.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bucket/purescript.json b/bucket/purescript.json
index 71cc7e6f75..5af2225188 100644
--- a/bucket/purescript.json
+++ b/bucket/purescript.json
@@ -6,7 +6,7 @@
     "architecture": {
         "64bit": {
             "url": "https://github.com/purescript/purescript/releases/download/v0.13.5/win64.tar.gz",
-            "hash": "sha1:313dd66952b6bea8f16420b875a2f6281a73170a"
+            "hash": "sha1:ac2efe3817825bdb5c82a0799e9c9d1c174b81c0"
         }
     },
     "bin": "purs.exe",