Sync repository with latest tooling.

actions-user · actions-user · commit f1faf715f465 · 2022-02-13T04:15:39.000Z
diff --git a/dist/versions.json b/dist/versions.json
@@ -1,6 +1,6 @@
 {
   "purs": "0.14.5",
-  "spago": "0.20.6",
+  "spago": "0.20.7",
   "psa": "0.8.2",
   "purs-tidy": "0.7.0",
   "zephyr": "0.3.2"
