Sync repository with latest tooling.

actions-user · actions-user · commit 55620255e65f · 2022-03-01T22:15:27.000Z
diff --git a/dist/version-v2.json b/dist/version-v2.json
@@ -12,8 +12,8 @@
     "latest": "0.8.2"
   },
   "purs-tidy": {
-    "unstable": "0.7.0",
-    "latest": "0.7.0"
+    "unstable": "0.7.1",
+    "latest": "0.7.1"
   },
   "zephyr": {
     "unstable": "0.5.0-wip2",
diff --git a/dist/versions.json b/dist/versions.json
@@ -2,6 +2,6 @@
   "purs": "0.14.7",
   "spago": "0.20.7",
   "psa": "0.8.2",
-  "purs-tidy": "0.7.0",
+  "purs-tidy": "0.7.1",
   "zephyr": "0.3.2"
 }
