From 048cd6f043b8924011cdc90aaa66f960574ff813 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Mon, 25 Feb 2019 13:00:20 +0000
Subject: [PATCH] purescript: Update to version 0.12.3

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

diff --git a/purescript.json b/purescript.json
index 42768bac24..af2ecf7a48 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.2",
+    "version": "0.12.3",
     "architecture": {
         "64bit": {
-            "url": "https://github.com/purescript/purescript/releases/download/v0.12.2/win64.tar.gz",
-            "hash": "sha1:d6d02c80f241e8c33232e23e2f51cc53b1d06649"
+            "url": "https://github.com/purescript/purescript/releases/download/v0.12.3/win64.tar.gz",
+            "hash": "sha1:fb424079e63fb134647366ff594fef6fbff11553"
         }
     },
     "bin": "purs.exe",