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 5b36125 commit 310b5d2Copy full SHA for 310b5d2
agda-stdlib-utils.cabal
@@ -15,7 +15,7 @@ executable GenerateEverything
15
hs-source-dirs: .
16
main-is: GenerateEverything.hs
17
default-language: Haskell2010
18
- build-depends: base >= 4.9.0.0 && < 4.15
+ build-depends: base >= 4.9.0.0 && < 4.16
19
, directory >= 1.0.0.0 && < 1.4
20
, filemanip >= 0.3.6.2 && < 0.4
21
, filepath >= 1.4.1.0 && < 1.5
@@ -24,6 +24,6 @@ executable AllNonAsciiChars
24
25
main-is: AllNonAsciiChars.hs
26
27
28
29
, text >= 1.2.3.0 && < 1.3
0 commit comments