Sync repository with latest tooling.

actions-user · actions-user · commit d59c53371e8b · 2021-08-26T04:13:26.000Z
diff --git a/dist/versions.json b/dist/versions.json
@@ -1,7 +1,7 @@
 {
-  "purs": "0.14.3",
+  "purs": "0.14.4",
   "spago": "0.20.3",
   "psa": "0.8.2",
-  "purs-tidy": "0.4.5",
+  "purs-tidy": "0.4.6",
   "zephyr": "0.3.2"
 }
