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