Sync repository with latest tooling.

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