From 3900c055806888bdb72b36342e203a4e2ccafad2 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Mon, 8 Apr 2019 11:00:22 +0000
Subject: [PATCH] purescript: Update to version 0.12.4

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

diff --git a/purescript.json b/purescript.json
index af2ecf7a48..e98e32c20f 100644
--- a/purescript.json
+++ b/purescript.json
@@ -2,11 +2,11 @@
     "homepage": "http://purescript.org/",
     "description": "A strongly-typed language that compiles to Javascript",
     "license": "MIT",
-    "version": "0.12.3",
+    "version": "0.12.4",
     "architecture": {
         "64bit": {
-            "url": "https://github.com/purescript/purescript/releases/download/v0.12.3/win64.tar.gz",
-            "hash": "sha1:fb424079e63fb134647366ff594fef6fbff11553"
+            "url": "https://github.com/purescript/purescript/releases/download/v0.12.4/win64.tar.gz",
+            "hash": "sha1:472d3f397912eb11265a0a413534f2a5d1a5df85"
         }
     },
     "bin": "purs.exe",