Sync repository with latest tooling.

actions-user · actions-user · commit 74b2f26ba31b · 2021-10-23T04:13:56.000Z
diff --git a/dist/versions.json b/dist/versions.json
@@ -1,5 +1,5 @@
 {
-  "purs": "0.14.4",
+  "purs": "0.14.5",
   "spago": "0.20.3",
   "psa": "0.8.2",
   "purs-tidy": "0.6.2",
