Sync repository with latest tooling.

actions-user · actions-user · commit fa9a444c37f6 · 2022-10-11T05:21:11.000Z
diff --git a/dist/versions-v2.json b/dist/versions-v2.json
@@ -1,7 +1,7 @@
 {
   "purs": {
-    "unstable": "0.15.5-10",
-    "latest": "0.15.4"
+    "unstable": "0.15.5",
+    "latest": "0.15.5"
   },
   "spago": {
     "unstable": "0.20.9",
diff --git a/dist/versions.json b/dist/versions.json
@@ -1,5 +1,5 @@
 {
-  "purs": "0.15.4",
+  "purs": "0.15.5",
   "spago": "0.20.9",
   "psa": "0.8.2",
   "purs-tidy": "0.9.2",
