Sync repository with latest tooling.

actions-user · actions-user · commit 0b2215164730 · 2023-10-08T04:13:22.000Z
diff --git a/dist/versions-v2.json b/dist/versions-v2.json
@@ -1,7 +1,7 @@
 {
   "purs": {
-    "unstable": "0.15.11",
-    "latest": "0.15.11"
+    "unstable": "0.15.12",
+    "latest": "0.15.12"
   },
   "spago": {
     "unstable": "0.21.0",
diff --git a/dist/versions.json b/dist/versions.json
@@ -1,5 +1,5 @@
 {
-  "purs": "0.15.11",
+  "purs": "0.15.12",
   "spago": "0.21.0",
   "psa": "0.8.2",
   "purs-tidy": "0.10.0",
