Sync repository with latest tooling.

Author: actions-user

dist/versions.json

@@ -1 +1 @@
-{"purs":"0.14.1","spago":"0.20.3","psa":"0.8.2","purty":"7.0.0","zephyr":"0.3.2"}
+{"purs":"0.14.2","spago":"0.20.3","psa":"0.8.2","purty":"7.0.0","zephyr":"0.3.2"}