From ee4640402bf106e5860b41924356f93c8ff8b96c Mon Sep 17 00:00:00 2001
From: Gary Burgess <gary.burgess@gmail.com>
Date: Mon, 13 Oct 2025 00:02:29 +0100
Subject: [PATCH] Fix `purs-tidy` version

---
 dist/versions-v2.json | 4 ++--
 dist/versions.json    | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/dist/versions-v2.json b/dist/versions-v2.json
index 78b626c..e3a9c91 100644
--- a/dist/versions-v2.json
+++ b/dist/versions-v2.json
@@ -12,8 +12,8 @@
     "latest": "0.9.0"
   },
   "purs-tidy": {
-    "unstable": "0.11.1",
-    "latest": "0.11.1"
+    "unstable": "0.11.0",
+    "latest": "0.11.0"
   },
   "zephyr": {
     "unstable": "0.5.2",
diff --git a/dist/versions.json b/dist/versions.json
index f816e7e..53a2775 100644
--- a/dist/versions.json
+++ b/dist/versions.json
@@ -2,6 +2,6 @@
   "purs": "0.15.15",
   "spago": "0.21.0",
   "psa": "0.9.0",
-  "purs-tidy": "0.11.1",
+  "purs-tidy": "0.11.0",
   "zephyr": "0.5.2"
 }