Sync repository with latest tooling.

actions-user · actions-user · commit b53fdfceb38d · 2021-08-07T04:13:25.000Z
diff --git a/dist/versions.json b/dist/versions.json
@@ -1 +1,6 @@
-{ "purs": "0.14.3", "spago": "0.20.3", "psa": "0.8.2", "zephyr": "0.3.2" }
+{
+  "purs": "0.14.3",
+  "spago": "0.20.3",
+  "psa": "0.8.2",
+  "zephyr": "0.3.2"
+}
