From 31ce998c770647a8f732dbb51ecc09abda3beb38 Mon Sep 17 00:00:00 2001
From: robo-trh <135880706+robo-trh@users.noreply.github.com>
Date: Sun, 8 Oct 2023 04:43:19 -0400
Subject: [PATCH] Update purs (0.15.12)

---
 manifests/named.json |  4 ++--
 manifests/purs.json  | 18 ++++++++++++++++++
 2 files changed, 20 insertions(+), 2 deletions(-)

diff --git a/manifests/named.json b/manifests/named.json
index 8e6de11..ae22a0f 100644
--- a/manifests/named.json
+++ b/manifests/named.json
@@ -1,6 +1,6 @@
 {
-  "purs-stable": "purs-0_15_11",
-  "purs-unstable": "purs-0_15_11",
+  "purs-stable": "purs-0_15_12",
+  "purs-unstable": "purs-0_15_12",
   "spago-stable": "spago-0_21_0",
   "spago-unstable": "spago-0_93_14",
   "purs-tidy-stable": "purs-tidy-0_10_0",
diff --git a/manifests/purs.json b/manifests/purs.json
index d5d1cdb..aa01abc 100644
--- a/manifests/purs.json
+++ b/manifests/purs.json
@@ -774,5 +774,23 @@
       "hash": "sha256-Br3LZH5C/mHmwrOvK56OGi4rweM/0Ybj7l8xsj5n0Lk=",
       "url": "https://github.com/purescript/purescript/releases/download/v0.15.11/macos-arm64.tar.gz"
     }
+  },
+  "0.15.12": {
+    "x86_64-linux": {
+      "hash": "sha256-43jJSxkdgzswAvAbxBU/3Jfb/3g7iX15jAbtuSK9vBc=",
+      "url": "https://github.com/purescript/purescript/releases/download/v0.15.12/linux64.tar.gz"
+    },
+    "x86_64-darwin": {
+      "hash": "sha256-YuZNRSWe6AgcpMfz6qUIJt8IUakaCyK8Ty75Dm+too0=",
+      "url": "https://github.com/purescript/purescript/releases/download/v0.15.12/macos.tar.gz"
+    },
+    "aarch64-linux": {
+      "hash": "sha256-YYioMwHNlbBhJ1c21KPsX/DRDVCUr2k1SKNO9ps3ZP4=",
+      "url": "https://github.com/purescript/purescript/releases/download/v0.15.12/linux-arm64.tar.gz"
+    },
+    "aarch64-darwin": {
+      "hash": "sha256-07lX/Dk5ZfZk9k37C355wiRgqOJQz87ByiDH/rZOEmk=",
+      "url": "https://github.com/purescript/purescript/releases/download/v0.15.12/macos-arm64.tar.gz"
+    }
   }
 }