From 1a667ef39a39ee97e025138e013abae2b88d7fdb Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Mon, 12 Nov 2018 23:01:16 +0000
Subject: [PATCH] purescript: Update to version 0.12.1

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

diff --git a/purescript.json b/purescript.json
index a645212753..a11f7f6dae 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.0",
+    "version": "0.12.1",
     "architecture": {
         "64bit": {
-            "url": "https://github.com/purescript/purescript/releases/download/v0.12.0/win64.tar.gz",
-            "hash": "sha1:594c41bf9090bd01dfce32a0d29c6b700f06cf5b"
+            "url": "https://github.com/purescript/purescript/releases/download/v0.12.1/win64.tar.gz",
+            "hash": "sha1:fcc29013083cd15a5679ddeee9da83a7d4ab436b"
         }
     },
     "bin": "purs.exe",