From 97c06d7430b058eeddce5e043164f0337ebf1fb5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20L=C3=A4ndle?= <alaendle@users.noreply.github.com>
Date: Fri, 8 Dec 2023 19:19:12 +0100
Subject: [PATCH] Reference issue on `tardis` repository for its compilation
 failure.

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index e58113c97..f028fc9df 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1320,7 +1320,7 @@ packages:
         - numbers
         - rev-state
         - runmemo
-        - tardis < 0 # 0.4.4.0 # fails to compile (#7017)
+        - tardis < 0 # 0.4.4.0 # fails to compile https://github.com/DanBurton/tardis/issues/15
         - yesod-gitrev
         # @mr's packages
         - ftp-client