Further update liquid-fixpoint.cabal to release 0.9.6.3.1

ucsd-progsys · Aug 21, 2024 · fa855d1 · fa855d1
1 parent 54ec6f3
commit fa855d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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