Sync repository with latest tooling

Author: actions-user

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"}