Skip to content

Commit 006894a

Browse files
nadMatthewDaggitt
authored andcommitted
Bump support for GHC
1 parent 1828349 commit 006894a

File tree

1 file changed

+6
-4
lines changed

1 file changed

+6
-4
lines changed

agda-stdlib-utils.cabal

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,15 +9,17 @@ tested-with: GHC == 8.0.2
99
GHC == 8.4.4
1010
GHC == 8.6.5
1111
GHC == 8.8.4
12-
GHC == 8.10.5
13-
GHC == 9.0.1
12+
GHC == 8.10.7
13+
GHC == 9.0.2
14+
GHC == 9.2.1
15+
GHC == 9.4.2
1416

1517
executable GenerateEverything
1618
hs-source-dirs: .
1719
main-is: GenerateEverything.hs
1820
default-language: Haskell2010
1921
default-extensions: PatternGuards, PatternSynonyms
20-
build-depends: base >= 4.9.0.0 && < 4.17
22+
build-depends: base >= 4.9.0.0 && < 4.18
2123
, directory >= 1.0.0.0 && < 1.4
2224
, filemanip >= 0.3.6.2 && < 0.4
2325
, filepath >= 1.4.1.0 && < 1.5
@@ -27,6 +29,6 @@ executable AllNonAsciiChars
2729
hs-source-dirs: .
2830
main-is: AllNonAsciiChars.hs
2931
default-language: Haskell2010
30-
build-depends: base >= 4.9.0.0 && < 4.17
32+
build-depends: base >= 4.9.0.0 && < 4.18
3133
, filemanip >= 0.3.6.2 && < 0.4
3234
, text >= 1.2.3.0 && < 1.3

0 commit comments

Comments
 (0)