We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 006894a commit 1b61340Copy full SHA for 1b61340
agda-stdlib-utils.cabal
@@ -1,5 +1,5 @@
1
name: agda-stdlib-utils
2
-version: 1.7.1
+version: 1.7.2
3
cabal-version: >= 1.10
4
build-type: Simple
5
description: Helper programs.
@@ -12,7 +12,7 @@ tested-with: GHC == 8.0.2
12
GHC == 8.10.7
13
GHC == 9.0.2
14
GHC == 9.2.1
15
- GHC == 9.4.2
+ GHC == 9.4.4
16
17
executable GenerateEverything
18
hs-source-dirs: .
@@ -31,4 +31,4 @@ executable AllNonAsciiChars
31
default-language: Haskell2010
32
build-depends: base >= 4.9.0.0 && < 4.18
33
, filemanip >= 0.3.6.2 && < 0.4
34
- , text >= 1.2.3.0 && < 1.3
+ , text >= 1.2.3.0 && < 2.1
0 commit comments