Sync repository with latest tooling.

actions-user · actions-user · commit 66ea90874033 · 2020-10-04T04:10:20.000Z
diff --git a/dist/versions.json b/dist/versions.json
@@ -1 +1 @@
-{"purs":"0.13.8","spago":"0.16.0","psa":"0.8.0","purty":"6.2.0","zephyr":"0.3.2"}
+{"purs":"0.13.8","spago":"0.16.0","psa":"0.8.0","purty":"6.2.0","zephyr":"0.3.2"}
