Update tested-with field

ucsd-progsys · Dec 5, 2023 · 2983cf9 · 2983cf9
1 parent c012a04
commit 2983cf9
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 == 7.10.3, GHC == 8.0.1, GHC == 8.4.3, GHC == 8.6.4, GHC == 8.10.1, GHC == 8.10.7
+tested-with:        GHC == 9.6.3, GHC == 9.4.7, GHC == 9.2.3
 extra-source-files: tests/neg/*.fq
                     tests/pos/*.fq
                     unix/Language/Fixpoint/Utils/*.hs