From 38bf10a040240b2a73cfb854909502593c58b416 Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Thu, 30 May 2019 01:00:44 +0000
Subject: [PATCH] purescript: Update to version 0.13.0

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

diff --git a/bucket/purescript.json b/bucket/purescript.json
index 00377ef9f8..1b91f872bb 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.12.5",
+    "version": "0.13.0",
     "architecture": {
         "64bit": {
-            "url": "https://github.com/purescript/purescript/releases/download/v0.12.5/win64.tar.gz",
-            "hash": "sha1:6b93a1d0c629414a6b9f6fc607edb4bc2d30e2d1"
+            "url": "https://github.com/purescript/purescript/releases/download/v0.13.0/win64.tar.gz",
+            "hash": "sha1:2ee57096eee108228dba1591dbcac4221ed267a4"
         }
     },
     "bin": "purs.exe",