Sync repository with latest tooling.

actions-user · actions-user · commit 98542c3c7a6f · 2021-03-03T04:10:30.000Z
diff --git a/dist/versions.json b/dist/versions.json
@@ -1 +1 @@
-{"purs":"0.14.0","spago":"0.19.1","psa":"0.8.2","purty":"6.3.1","zephyr":"0.3.2"}
+{"purs":"0.14.0","spago":"0.19.1","psa":"0.8.2","purty":"7.0.0","zephyr":"0.3.2"}
