Sync repository with latest tooling.

actions-user · actions-user · commit c1d4a21c4a6b · 2020-08-13T04:06:53.000Z
diff --git a/dist/versions.json b/dist/versions.json
@@ -1,7 +1 @@
-{
-  "purs": "0.13.8",
-  "spago": "0.15.3",
-  "psa": "0.7.3",
-  "purty": "6.2.0",
-  "zephyr": "0.3.2"
-}
+{"purs":"0.13.8","spago":"0.15.3","psa":"0.7.3","purty":"6.2.0","zephyr":"0.3.2"}
