Sync repository with latest tooling

actions-user · actions-user · commit ad3c4a35473c · 2020-08-05T00:05:18.000Z
diff --git a/dist/versions.json b/dist/versions.json
@@ -1 +1 @@
-{ "purs": "0.13.8", "spago": "0.15.3", "purty": "6.2.0", "zephyr": "0.3.2" }
+{"purs":"0.13.8","spago":"0.15.3","purty":"6.2.0","zephyr":"0.3.2"}
