Sync repository with latest tooling.

actions-user · actions-user · commit 50795e8a613d · 2023-11-04T04:13:54.000Z
diff --git a/dist/versions-v2.json b/dist/versions-v2.json
@@ -1,6 +1,6 @@
 {
   "purs": {
-    "unstable": "0.15.12",
+    "unstable": "0.15.13-1",
     "latest": "0.15.12"
   },
   "spago": {
