From fa855d1c77a2fbf18aa53b56d02f9807a5d01a3b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= <facundo.dominguez@tweag.io>
Date: Wed, 21 Aug 2024 11:38:11 -0300
Subject: [PATCH] Further update liquid-fixpoint.cabal to release 0.9.6.3.1

---
 liquid-fixpoint.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/liquid-fixpoint.cabal b/liquid-fixpoint.cabal
index 87a54ecb1..d42136211 100644
--- a/liquid-fixpoint.cabal
+++ b/liquid-fixpoint.cabal
@@ -25,7 +25,7 @@ copyright:          2010-17 Ranjit Jhala, University of California, San Diego.
 license:            BSD-3-Clause
 license-file:       LICENSE
 build-type:         Simple
-tested-with:        GHC == 9.8.2, GHC == 9.6.5, GHC == 9.4.8
+tested-with:        GHC == 9.10.1, GHC == 9.8.2, GHC == 9.6.5
 extra-source-files: tests/neg/*.fq
                     tests/pos/*.fq
                     unix/Language/Fixpoint/Utils/*.hs