From a664c084f4cffe0c52861fc979d50ff657e92892 Mon Sep 17 00:00:00 2001
From: Paul Scheffler <paulsc@iis.ee.ethz.ch>
Date: Wed, 20 Nov 2024 17:04:34 +0100
Subject: [PATCH] requirements.txt: Fix `tclint` version to 0.4.2

---
 .github/workflows/lint.yml | 2 +-
 requirements.txt           | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 28870f4d5..a1bedafda 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -85,7 +85,7 @@ jobs:
         cache: pip
     -
       name: Install tclint
-      run: pip install tclint
+      run: pip install tclint==0.4.2
     -
       name: Run Tcllint
       run: tclint .  --style-spaces-in-braces --style-line-length 100
diff --git a/requirements.txt b/requirements.txt
index ea1f81203..dd03690fd 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -7,5 +7,6 @@ yapf
 mkdocs
 mkdocs-material
 markdown-grid-tables
-tclint
+# FIXME: `tclint` 5.0 split off formatting into `tclfmt`
+tclint==0.4.2
 flatdict