From f81596888ee656d3adb55fe2ab4282ef8e54db6a Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Mon, 14 Jan 2019 00:00:34 +0000
Subject: [PATCH] purescript: Update to version 0.12.2

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

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