Sync repository with latest tooling.

actions-user · actions-user · commit ac04be2b172d · 2022-02-26T04:16:32.000Z
diff --git a/dist/versions.json b/dist/versions.json
@@ -1,5 +1,5 @@
 {
-  "purs": "0.14.5",
+  "purs": "0.14.6",
   "spago": "0.20.7",
   "psa": "0.8.2",
   "purs-tidy": "0.7.0",
