From ff3f6d57a0c2ec00c44994073cacd6026c7bf2da Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Sun, 20 Oct 2019 22:00:20 +0000
Subject: [PATCH] purescript: Update to version 0.13.4

---
 bucket/purescript.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bucket/purescript.json b/bucket/purescript.json
index 63a5d2b7a4..ba1755b18e 100644
--- a/bucket/purescript.json
+++ b/bucket/purescript.json
@@ -2,11 +2,11 @@
     "homepage": "http://purescript.org/",
     "description": "A strongly-typed language that compiles to Javascript",
     "license": "MIT",
-    "version": "0.13.3",
+    "version": "0.13.4",
     "architecture": {
         "64bit": {
-            "url": "https://github.com/purescript/purescript/releases/download/v0.13.3/win64.tar.gz",
-            "hash": "sha1:d21f01b7e138c6eb06193b3bd2f56eafc61620e6"
+            "url": "https://github.com/purescript/purescript/releases/download/v0.13.4/win64.tar.gz",
+            "hash": "sha1:6c9177516702214d5e152987e8fd2a8893959729"
         }
     },
     "bin": "purs.exe",